commit | a81e4f3d0f1e43eb6280a83982cda8511839a5f2 | [log] [tgz] |
---|---|---|
author | Boris Bokowski <bbokowski> | Fri Dec 05 21:23:58 2008 +0000 |
committer | Boris Bokowski <bbokowski> | Fri Dec 05 21:23:58 2008 +0000 |
tree | e33746461307681dc58fd9c015168923fe22951a | |
parent | 4da2712ac56b84541152ee20bdfcea00e8481f05 [diff] |
Fix for Bug 256839 [Workbench] Workbench.shutdown() doesn't complete due to exception