diff options
| author | Sven Gothel <[email protected]> | 2013-06-25 06:56:44 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2013-06-25 06:56:44 +0200 |
| commit | 6ff3fe730671b0bfed61b56e1179aaecd39f53a5 (patch) | |
| tree | e7feca6dc8d75d3f194874699373fc7c353bfc75 /make/gluegen.properties | |
| parent | 0cce9a0eb5ab3ca25531c8fb8a9ef8be5c758487 (diff) | |
Fix SingletonInstanceServerSocket.kill(): Needs to mark alive=false in case of JVM shutdown!
Diffstat (limited to 'make/gluegen.properties')
0 files changed, 0 insertions, 0 deletions