cmd/browser: refresh destination pane on copy/delete error

A copy or delete operation may make progress, so in the event of an
error refresh the destination pane while displaying the error message.

Change-Id: Iecbcfab33e7cc1a98af94dbb6010ea789b13bcb6
Reviewed-on: https://upspin-review.googlesource.com/12282
Reviewed-by: Rob Pike <r@golang.org>
diff --git a/cmd/browser/static/script.js b/cmd/browser/static/script.js
index 869e11e..ee77a39 100644
--- a/cmd/browser/static/script.js
+++ b/cmd/browser/static/script.js
@@ -155,6 +155,9 @@
 				refresh();
 			}, function(err) {
 				reportError(err);
+				// Refresh the pane because entries may have
+				// been deleted even if an error occurred.
+				refresh();
 			});
 		});
 	});
@@ -170,6 +173,9 @@
 				page.refreshDestination();
 			}, function(error) {
 				reportError(error);
+				// Refresh the destination pane as files may
+				// have been copied even if an error occurred.
+				page.refreshDestination();
 			});
 		});
 	});