| File inc/workers.inc.php changed (mode: 100644) (index 7e77f17..43096a2) |
| ... |
... |
function rg_worker_sort_alpha($a, $b) |
| 118 |
118 |
} |
} |
| 119 |
119 |
|
|
| 120 |
120 |
/* |
/* |
| 121 |
|
* Loads info about a worker |
|
|
121 |
|
* Loads the list of workers for a user |
| 122 |
122 |
*/ |
*/ |
| 123 |
123 |
function rg_worker_list($db, $uid) |
function rg_worker_list($db, $uid) |
| 124 |
124 |
{ |
{ |
| |
| ... |
... |
function rg_worker_list_all($db, $uid) |
| 192 |
192 |
*/ |
*/ |
| 193 |
193 |
function rg_worker_find_by_id($db, $uid, $id) |
function rg_worker_find_by_id($db, $uid, $id) |
| 194 |
194 |
{ |
{ |
| 195 |
|
rg_log_enter('worker_find_by_uid uid=' . $uid . ' id=' . $id); |
|
|
195 |
|
rg_log_enter('worker_find_by_id uid=' . $uid . ' id=' . $id); |
| 196 |
196 |
|
|
| 197 |
197 |
$ret = -1; |
$ret = -1; |
| 198 |
198 |
while (1) { |
while (1) { |
| |
| ... |
... |
function rg_worker_remove($db, $uid, $list) |
| 475 |
475 |
|
|
| 476 |
476 |
|
|
| 477 |
477 |
/* |
/* |
| 478 |
|
* Workers - add |
|
|
478 |
|
* Workers - add/edit |
| 479 |
479 |
*/ |
*/ |
| 480 |
480 |
function rg_worker_add_high_level($db, $rg, $op, $paras) |
function rg_worker_add_high_level($db, $rg, $op, $paras) |
| 481 |
481 |
{ |
{ |
| |
| ... |
... |
function rg_worker_add_high_level($db, $rg, $op, $paras) |
| 558 |
558 |
$ret .= rg_template('user/settings/workers/add_ok.html', |
$ret .= rg_template('user/settings/workers/add_ok.html', |
| 559 |
559 |
$rg, TRUE /*xss*/); |
$rg, TRUE /*xss*/); |
| 560 |
560 |
|
|
|
561 |
|
// Load default values for the next 'add' operation |
| 561 |
562 |
$rg['worker']['id'] = 0; |
$rg['worker']['id'] = 0; |
| 562 |
563 |
$rg['worker']['name'] = ''; |
$rg['worker']['name'] = ''; |
| 563 |
564 |
$rg['worker']['key'] = rg_id(32); |
$rg['worker']['key'] = rg_id(32); |
| File root/themes/default/user/settings/workers/hints.html changed (mode: 100644) (index b0f9d4e..3dba743) |
| 1 |
1 |
<br /> |
<br /> |
| 2 |
|
Workers are used to process build jobs.<br /> |
|
| 3 |
|
Global workers are available for building at rocketgit.com, so, |
|
|
2 |
|
Workers are used to process build and deployment jobs.<br /> |
|
3 |
|
Global workers are available for building at rocketgit.com, so |
| 4 |
4 |
just configure a build webhook.<br /> |
just configure a build webhook.<br /> |
| 5 |
5 |
Cost - it is used to decide on which worker to send a job; bigger = less |
Cost - it is used to decide on which worker to send a job; bigger = less |
| 6 |
6 |
chances to choose it.<br /> |
chances to choose it.<br /> |
| File tests/ssh.php changed (mode: 100644) (index 5753a7e..0f65da5) |
| ... |
... |
$sql = "UPDATE scratch_codes SET sc = '0' || substring(sc from 1 for 7)" |
| 176 |
176 |
. " WHERE uid = " . $rg_ui['uid']; |
. " WHERE uid = " . $rg_ui['uid']; |
| 177 |
177 |
$res = rg_sql_query($db, $sql); |
$res = rg_sql_query($db, $sql); |
| 178 |
178 |
rg_sql_free_result($res); |
rg_sql_free_result($res); |
| 179 |
|
// we want to test with a short code, so, insert one and flush cache |
|
|
179 |
|
// we want to test with a short code, so insert one and flush cache |
| 180 |
180 |
$key = 'user::' . $rg_ui['uid'] . '::login_tokens::sc'; |
$key = 'user::' . $rg_ui['uid'] . '::login_tokens::sc'; |
| 181 |
181 |
rg_cache_unset($key, 0); |
rg_cache_unset($key, 0); |
| 182 |
182 |
foreach ($sc as &$t) |
foreach ($sc as &$t) |