Nemcio/GitBucket
1
0
Fork 0
mirror of https://github.com/gitbucket/gitbucket.git synced 2025-11-01 19:15:59 +01:00
Code Issues Packages Projects Releases Wiki Activity

(refs #204)Change the option name from --data to --gitbucket.home

Browse Source
This commit is contained in:
takezoe
2013-11-30 05:22:35 +09:00
parent b3669f6d66
commit 6b11c1a180
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/JettyLauncher.java
View File

@@ -27,7 +27,7 @@ public class JettyLauncher {
contextPath = dim[1]; contextPath = dim[1];
} else if(dim[0].equals("--https") && (dim[1].equals("1") || dim[1].equals("true"))) { } else if(dim[0].equals("--https") && (dim[1].equals("1") || dim[1].equals("true"))) {
forceHttps = true; forceHttps = true;
} else if(dim[0].equals("--data")){ } else if(dim[0].equals("--gitbucket.home")){
System.setProperty("gitbucket.home", dim[1]); System.setProperty("gitbucket.home", dim[1]);
} }
} }