11 Jun
2013
11 Jun
'13
7:11 p.m.
On Tue, Jun 11, 2013 at 3:07 PM, Oleg Dolomanov
Oh, I missed an important fact - platform() MUST! return a best default, if it fails, it causes exit(1), (according to Alastair's stack trace) that cannot be caught anyway (unless you override it beforehand like sys.abort = dummy , sys.exit= dummy),
Oh, gross. What about James's suggestion? I had found that before and completely forgot, but it seems like the most universal solution so far. -Nat