Updated to Jetty 7.6.13

James Moger

2013-10-02 3462cfc57f4d1eb559f6ae9bb7afb4f4a18434b3

 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 {