| | |
|---|
| | | #
|
|---|
| | |
|
|---|
| | | # Allow push/pull over http/https with JGit servlet
|
|---|
| | | git.allowPushPull = true
|
|---|
| | | git.enableGitServlet = true
|
|---|
| | |
|
|---|
| | | # Base folder for repositories
|
|---|
| | | # Use forward slashes even on Windows!!
|
|---|
| | |
|---|
| | | #
|
|---|
| | | # Authentication Settings
|
|---|
| | | #
|
|---|
| | |
|
|---|
| | | # Require authentication for http/https push/pull access of git repositories
|
|---|
| | | git.authenticate = true
|
|---|
| | |
|
|---|
| | | # Require authentication to see everything but the admin pages
|
|---|
| | | web.authenticateViewPages = false
|
|---|
| | |
|---|
| | | # Jetty Settings
|
|---|
| | | #
|
|---|
| | |
|
|---|
| | | # use NIO connectors. If false, socket connectors will be used.
|
|---|
| | | # Use Jetty NIO connectors. If false, Jetty Socket connectors will be used.
|
|---|
| | | server.useNio = true
|
|---|
| | |
|
|---|
| | | # Standard http port to serve. <= 0 disables this connector.
|
|---|
| | | server.httpPort = 80
|
|---|
| | | server.httpPort = 0
|
|---|
| | |
|
|---|
| | | # Secure/SSL https port to serve. <= 0 disables this connector.
|
|---|
| | | server.httpsPort = 443
|
|---|
| | |
|---|
| | | # You may specify an ip or an empty value to bind to all interfaces.
|
|---|
| | | server.httpsBindInterface = localhost
|
|---|
| | |
|
|---|
| | | # Password for SSL keystore (keystore password and certificate password must match)
|
|---|
| | | # Password for SSL keystore.
|
|---|
| | | # Keystore password and certificate password must match.
|
|---|
| | | # This is provided for convenience, its probably more secure to set this value
|
|---|
| | | # using the --storePassword command line parameter.
|
|---|
| | | server.storePassword = dosomegit
|
|---|
| | |
|
|---|
| | | # Port for shutdown monitor to listen on.
|
|---|
