diff options
| author | Julien Dessaux | 2010-05-29 23:48:47 +0200 |
|---|---|---|
| committer | Julien Dessaux | 2010-05-29 23:55:20 +0200 |
| commit | 3410caa6f2e1fd74d55f7a1717420bb2e1052b12 (patch) | |
| tree | 214cb220de340eada4141479ae6415e654a4fdc3 /Hsbot/Core.hs | |
| parent | Added signal handling and a better semantic for bot status. (diff) | |
| download | hsbot-3410caa6f2e1fd74d55f7a1717420bb2e1052b12.tar.gz hsbot-3410caa6f2e1fd74d55f7a1717420bb2e1052b12.tar.bz2 hsbot-3410caa6f2e1fd74d55f7a1717420bb2e1052b12.zip | |
Fixed the plugin termination.
The master of a plugin will now wait for the plugin it kills to terminate.
Diffstat (limited to 'Hsbot/Core.hs')
0 files changed, 0 insertions, 0 deletions