Implemented application menus for repository url panel

James Moger

2013-05-09 828add77e71a567be98490403bb92d6f1afb9930

 src/main/java/com/gitblit/git/GitDaemon.java

@@ -177,6 +177,20 @@
               }

            } };

   }

	
   public int getPort() {

      return myAddress.getPort();

   }

	
   public String formatUrl(String servername, String repository) {

      if (getPort() == 9418) {

         // standard port

         return MessageFormat.format("git://{0}/{1}", servername, repository);

      } else {

         // non-standard port

         return MessageFormat.format("git://{0}:{1,number,0}/{2}", servername, getPort(), repository);

      }

   }



   /** @return timeout (in seconds) before aborting an IO operation. */

   public int getTimeout() {