Merged #200 "Update to Jetty 9.2.3.v20140905"

James Moger

2014-09-30 1f8ea80341d5176a25f7fadae0fd347dad1ed138

 src/main/java/com/gitblit/authority/AuthorityWorker.java

@@ -35,6 +35,7 @@
      return doRequest();

   }



   @Override

   protected void done() {

      parent.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));

      try {