humanized file deleted error

debomatic-webui/public/javascripts/page_distribution.js

@@ -579,6 +579,8 @@ function Page_Distrubion(socket) {
         set: function (socket_error) {
             if ($('#error').is(':visible'))
                 return;
+            socket_error = socket_error.replace(/File (.*) deleted./,
+                '<b>File removed</b>&nbsp;&nbsp;$1');
             socket_error = socket_error.replace(/ENOENT, [a-z]+ '(.*)'/,
                 '<b>No such file or directory</b>&nbsp;&nbsp;$1');
             $('#error .message').html(socket_error);