Günter Dressel
2013-11-21 237faead29c2d0dfcc503fe80039a6d985764d81
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 {