Alfred Schmid
2014-02-21 a17ed65f281899cc8bc75453043e95728fb19686
src/main/java/com/gitblit/client/GitblitWorker.java
@@ -50,6 +50,7 @@
      return doRequest();
   }
   @Override
   protected void done() {
      parent.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
      try {