summaryrefslogtreecommitdiff
path: root/tools/PracroAdd
diff options
context:
space:
mode:
authordeva <deva>2009-11-13 15:15:00 +0000
committerdeva <deva>2009-11-13 15:15:00 +0000
commitb8a6eb573c1992d41393cec87d1ac8d6fb3a6972 (patch)
tree8ff50e628ce565b315325f6dfaca7287fcc3a93f /tools/PracroAdd
parent9a44fd2c5e82d339bcb18570404e695d0af8c1cf (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