Fix a bug where deleted filter was not removed from the list (because now l...

Aleksander Machniak

2013-11-22 78ef00f12def4d76cec708a5e436d83c75ee3c91

 plugins/managesieve/managesieve.js

@@ -161,7 +161,7 @@
{
  var i, rows = this.filters_list.rows;

  for (i=0; i<rows.length; i++)
  for (i in rows)
    if (rows[i] != null && rows[i].uid == id)
      return i;
};