rss: watch handle case during rename
authorGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Thu, 25 Nov 2010 16:53:57 +0000 (17:53 +0100)
committerGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Thu, 25 Nov 2010 16:53:57 +0000 (17:53 +0100)
commita95675a1961cb5c205ba997c9f0599f453b19d4a
treee82726c7c5eb75a9f14079aad5119c3a6695fab4
parentd39aeaf236b8d2865df642b6f8a1070a4a41acf2
rss: watch handle case during rename

We allow rss handles to be of any case on creation, even though matching
is case-insentivie. However, when renaming an rss using 'rss change
handle' and only changing the case, two things prevented this from
working correctly:
* since the new downcased handle was equal to the old downcased handle,
  the bot would prevent the renaming due to the existence of the new
  handle
* the new handle was forcefully downcased, preventing the user
  from renaming handle 'case' to 'CaSe'.

Fix by checking for this case explicitly, and handling it separately.
data/rbot/plugins/rss.rb