Skip to content
Jenkins
gerrit-onomondo-eim-build
#81
Search
Sign in
Status
Changes
Console Output
View Build Information
Parameters
Timings
Git Build Data
Previous Build
Next Build
Changes
Started by upstream project gerrit-onomondo-eim #80
Started 11 hr ago
Queued 7.2 sec
Took 59 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:21 PM 7/10/26