| File samples/config.php changed (mode: 100644) (index 8d999e0..e2cdf45) |
| ... |
... |
$rg_git_port = 9418; |
| 82 |
82 |
// How many days to keep the log files? Put 0 to not delete them. |
// How many days to keep the log files? Put 0 to not delete them. |
| 83 |
83 |
$rg_logs_lifetime = 31; |
$rg_logs_lifetime = 31; |
| 84 |
84 |
|
|
| 85 |
|
// addr/port to bind/listen for build workers |
|
| 86 |
|
// set port to 0 to disable the builder |
|
|
85 |
|
// Addr/port to bind/listen for build workers. |
|
86 |
|
// Set port to 0 to disable the builder. |
| 87 |
87 |
$rg_builder_bind = '0.0.0.0'; |
$rg_builder_bind = '0.0.0.0'; |
| 88 |
88 |
$rg_builder_port = 65000; |
$rg_builder_port = 65000; |
| 89 |
89 |
|
|