Clone
Gustaf Neumann <neumann@wu-wien.ac.at>
committed
on 15 Jul 16
- handle case that showed up with Zoran during final shutdown: in case, an object is deleted after the interp is deleted (which should not h… Show more
- handle case that showed up with Zoran during final shutdown: in case, an object is deleted after the interp is deleted (which should not happen), don't crash.

Show less

2-1-0-rc + 43 more