| File samples/config.php changed (mode: 100644) (index 7668e6a..64f82db) |
| ... |
... |
$rg_git_port = 9418; |
| 85 |
85 |
// No '/' in the end |
// No '/' in the end |
| 86 |
86 |
$rg_web_url = ''; |
$rg_web_url = ''; |
| 87 |
87 |
|
|
| 88 |
|
// Allow events to be registered, even if user press "stop" |
|
| 89 |
|
ignore_user_abort(TRUE); |
|
| 90 |
|
|
|
| 91 |
88 |
// How many days to keep the log files? Put 0 to not delete it. |
// How many days to keep the log files? Put 0 to not delete it. |
| 92 |
89 |
$rg_logs_lifetime = 31; |
$rg_logs_lifetime = 31; |
| 93 |
90 |
|
|
| |
| ... |
... |
$rg_logs_lifetime = 31; |
| 95 |
92 |
$rg_builder_bind = '0.0.0.0'; |
$rg_builder_bind = '0.0.0.0'; |
| 96 |
93 |
$rg_builder_port = 65000; |
$rg_builder_port = 65000; |
| 97 |
94 |
|
|
|
95 |
|
|
|
96 |
|
|
|
97 |
|
// Allow events to be registered, even if user press "stop" |
|
98 |
|
ignore_user_abort(TRUE); |
| 98 |
99 |
?> |
?> |