Skip to content
Jenkins
gerrit-lint
#29032
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 5 hr 11 min ago
Queued 14 sec
Took 10 sec on
build4-deb12build-ansible
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_euicc.erl
src/mnesia_db.erl
pmaier@sysmocom.de
at
3:26 PM 7/14/26