Skip to content
Jenkins
gerrit-onomondo-eim-build
#89
Search
Sign in
Status
Changes
Console Output
Parameters
Timings
Git Build Data
Previous Build
Next Build
Changes
Started by upstream project gerrit-onomondo-eim #100
Started 13 hr ago
Queued 6.9 sec
Took 1 min 53 sec on built-in
Parameters
mnesia_db_euicc: rename timer_setparam to timer_rest
The function timer_setparam is processing REST API orders
in regular intervals. Naming the timer "timer_rest" makes
more sense.
Change-Id: Icfa203477e044ce2cc312d4b6e2693a97191c61d
src/mnesia_db.erl
src/mnesia_db_euicc.erl
pmaier@sysmocom.de
at
3:26 PM 7/14/26