diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2007-08-26 15:13:48 +0000 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2007-08-26 15:13:48 +0000 |
| commit | ad4317c01095675546e5d907a917168d82a0580e (patch) | |
| tree | caaa2de2c5c8fde1ff61f5385377fb1f0866d8e1 /data/rbot/plugins/httpd.rb.disabled | |
| parent | 901c1684235a22a5f747dd780c3bd1ab3e3114a3 (diff) | |
Call 'super' method from #cleanup() in all plugins
Diffstat (limited to 'data/rbot/plugins/httpd.rb.disabled')
| -rw-r--r-- | data/rbot/plugins/httpd.rb.disabled | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/rbot/plugins/httpd.rb.disabled b/data/rbot/plugins/httpd.rb.disabled index 92fe3a80..ccfb42e2 100644 --- a/data/rbot/plugins/httpd.rb.disabled +++ b/data/rbot/plugins/httpd.rb.disabled @@ -23,6 +23,7 @@ class HttpPlugin < Plugin end def cleanup @http_server.shutdown + super end def help(plugin, topic="") "no help yet" |