diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2007-04-12 23:03:08 +0000 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2007-04-12 23:03:08 +0000 |
| commit | 16cef9911ffec52af6b4bbb6a15062d123ce0eb8 (patch) | |
| tree | a5eef3a99c44dbb96f630b61396df7750f068769 | |
| parent | 700865086123f58833f7d83033e0a1ede1d40e0f (diff) | |
rss plugin: catch all errors when stopping watches
| -rw-r--r-- | data/rbot/plugins/rss.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/rbot/plugins/rss.rb b/data/rbot/plugins/rss.rb index fa777739..22b56295 100644 --- a/data/rbot/plugins/rss.rb +++ b/data/rbot/plugins/rss.rb @@ -337,7 +337,7 @@ class RSSFeedsPlugin < Plugin debug "Stopping watch #{handle}"
@bot.timer.remove(@watch[handle])
@watch.delete(handle)
- rescue => e
+ rescue Exception => e
report_problem("Failed to stop watch for #{handle}", e, nil)
end
end
|