| commit | 1682cb5f1a3389311830c286de7a02132258a576 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 16 14:45:42 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Apr 16 14:45:42 2011 +0000 |
| tree | dcfb176206a05e16dba5c52dd08edbbda57fbcb2 | |
| parent | 46c37e5d5023a31b6ff9aba6d0f3f785efef8f1c [diff] |
avoid SWTError on shutdown.