diff options
| author | deva <deva> | 2009-11-13 15:15:00 +0000 |
|---|---|---|
| committer | deva <deva> | 2009-11-13 15:15:00 +0000 |
| commit | b8a6eb573c1992d41393cec87d1ac8d6fb3a6972 (patch) | |
| tree | 8ff50e628ce565b315325f6dfaca7287fcc3a93f /tools/PracroAdd | |
| parent | 9a44fd2c5e82d339bcb18570404e695d0af8c1cf (diff) | |
Make session system more robust. Make server termination show live sessions and issue a warning.
Diffstat (limited to 'tools/PracroAdd')
0 files changed, 0 insertions, 0 deletions