commit | f568b3ea1b85b6dc9b56ee978dbbf8feb30d33fa | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Thu Feb 11 13:46:42 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Thu Feb 11 13:46:42 2010 +0000 |
tree | 7046adb0d4cabe1ede1987f8f2181bf938765195 | |
parent | 25645f41aa89206459d2bd90334a4006bb67aeff [diff] |
Fix issue when stopping the solver (maybe the Thread.sleep() code should go to DependencyHelper.