Skip to content
Jenkins
gerrit-onomondo-eim-build
#66
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 #67
Started 18 hr ago
Queued 5.7 sec
Took 33 sec on built-in
Parameters
mnesia_db_euicc: rename timer_setparam to timer_rest
The function timer_setparam is processing REAT 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:22 PM 7/8/26