(refs #1484)Add --plugin_dir option

This commit is contained in:
Naoki Takezoe
2017-07-12 18:33:43 +09:00
parent 61f3d2d513
commit 3ff89bc648
2 changed files with 5 additions and 2 deletions

View File

@@ -48,6 +48,9 @@ public class JettyLauncher {
case "--temp_dir":
tmpDirPath = dim[1];
break;
case "--plugin_dir":
System.setProperty("gitbucket.pluginDir", dim[1]);
break;
}
}
}