xaizek / rocketgit (License: AGPLv3+) (since 2018-12-09)
Light and fast Git hosting solution suitable to serve both as a hub or as a personal code storage with its tickets, pull requests, API and much more.
Commit 115138b15e0436b56b7f75f12e5cf0d068989dea

Log the id of the event
Author: Catalin(ux) M. BOIE
Author date (UTC): 2016-01-20 19:28
Committer name: Catalin(ux) M. BOIE
Committer date (UTC): 2016-01-20 19:28
Parent(s): a96013c19fae04a9ec0ec3b1505825c92150c978
Signing key:
Tree: 118f24c26adc1dcc8d97f8a79b3f831ae0e95e0f
File Lines added Lines deleted
inc/events.inc.php 4 3
File inc/events.inc.php changed (mode: 100644) (index ef94bf5..6855f73)
... ... function rg_event_add($db, $event)
131 131 /* /*
132 132 * Process an event * Process an event
133 133 */ */
134 function rg_event_process($db, $event)
134 function rg_event_process($db, $ev_id, $event)
135 135 { {
136 136 global $rg_event_split_functions; global $rg_event_split_functions;
137 137
138 138 rg_prof_start("event_process"); rg_prof_start("event_process");
139 rg_log_enter("event_process: event=" . rg_array2string($event));
139 rg_log_enter("event_process: ev_id=$ev_id"
140 . " event=" . rg_array2string($event));
140 141
141 142 $ret = FALSE; $ret = FALSE;
142 143 while (1) { while (1) {
 
... ... function rg_event_process_queue($db, &$notify_list)
256 257 $ev['prio'] = $row['prio']; $ev['prio'] = $row['prio'];
257 258 $ev['itime'] = $row['itime']; $ev['itime'] = $row['itime'];
258 259
259 $r = rg_event_process($db, $ev);
260 $r = rg_event_process($db, $row['id'], $ev);
260 261 if ($r !== TRUE) { if ($r !== TRUE) {
261 262 if ($ev['debug'] == 1) if ($ev['debug'] == 1)
262 263 break; break;
Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/rocketgit

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/rocketgit

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master