| commit | 3ff9a699f15905507d6a916d68876a9170b403bb | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Sep 10 21:23:51 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Sep 10 21:23:51 2010 +0000 |
| tree | 7426d3b0a2f9da9b2d5d65f4c1949711e5b78c19 | |
| parent | bbac3991a8c670a9695390b82c549f9207129f1c [diff] |
Fix for Bug 325011 - JettyHelpServer$StopServerThread cannot access org.objectteams.TeamThreadManager