Jesse Rudolph
unread,Oct 14, 2012, 2:43:46 AM10/14/12Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to haskel...@googlegroups.com
Not sure if this is related, but on Windows 7 32 bit, after closing the window for any of the examples built against 1.7.6.5, the process doesn't end (which is not any different than 1.7.6.2 on my end), but instead of sitting there harmlessly doing nothing, it quickly consumes 100's of megabytes of ram, finally crashing and reporting 'out of memory' on the command line.
Jesse