diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 00:07:27 +0200 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2008-04-10 00:07:27 +0200 |
| commit | d833247f099504e36c47286ad5abe4079a026ba1 (patch) | |
| tree | d7e502be9bea9e9571a5312524d53082542fa21b /lib/rbot | |
| parent | 27cb79be57f9377d8c13dab2d7d0776e80dfd115 (diff) | |
plugins: mark priorities dirty on rescan
Diffstat (limited to 'lib/rbot')
| -rw-r--r-- | lib/rbot/plugins.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/rbot/plugins.rb b/lib/rbot/plugins.rb index 5095d19d..1734233b 100644 --- a/lib/rbot/plugins.rb +++ b/lib/rbot/plugins.rb @@ -424,6 +424,7 @@ module Plugins @commandmappers.clear @maps.clear @failures_shown = false + mark_priorities_dirty end # Associate with bot _bot_ @@ -616,6 +617,7 @@ module Plugins @delegate_list[m.intern] << p } } + mark_priorities_dirty end # call the save method for each active plugin |