Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#6 Destroying last region on a workspace doesn't destroy the WS

open
nobody
None
5
2012-06-18
2012-06-18
Philipp Hartwig
No

Instead Notion segfaults when switching away from the empty workspace. The segfault happens when region_unmap is called on what looks like an invalid region in gdb.

Discussion