commit | 48cd797f4765c9df21d37683f204d01e207e092e | [log] [tgz] |
---|---|---|
author | Boris Bokowski <bbokowski> | Fri Dec 05 21:21:42 2008 +0000 |
committer | Boris Bokowski <bbokowski> | Fri Dec 05 21:21:42 2008 +0000 |
tree | 460da51accb7091c1bca55ffb5c0064bcaff4fa0 | |
parent | 79079f21fa4b466c3cbb518bce4488bef14c93c4 [diff] |
Fix for Bug 256839 [Workbench] Workbench.shutdown() doesn't complete due to exception