Florian Zschocke
2013-11-22 e1b00bd19810736ea5244e3dbb8cf09525127315
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 {