Replaced repository name as search criterion with repository id

Eddy Young

2015-05-22 4cb1a97509b9b42ca7efb4fa0f727b89b044202d

 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 {