Skip to content
Jenkins
gerrit-lint
#28957
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 16 hr ago
Queued 5.5 sec
Took 1.8 sec on
build5-deb12build-ansible
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_euicc.erl
src/mnesia_db.erl
pmaier@sysmocom.de
at
3:22 PM 7/8/26