When a folder is deleted, delete the children as well.

svncommit

2007-09-27 41841bc0985959bc938200f3f3f119985be4daa6

When a folder is deleted, delete the children as well.

 program/js/app.js

@@ -2641,7 +2641,13 @@
    this.reset_folder_rename();
    
    if (folder)
      {
      this.http_post('delete-folder', '_mboxes='+urlencode(folder));
      var folders = new Array(folder);
      for (var row in this.env.subscriptionrows)
        if (this.env.subscriptionrows[row][0].match(new RegExp('^'+RegExp.escape(folder+this.env.delimiter))))
          this.http_post('delete-folder', '_mboxes='+urlencode(this.env.subscriptionrows[row][0]));
      }
    };