Started by upstream project "gerrit-onomondo-eim" build number 100100gerrit-onomondo-eimjob/gerrit-onomondo-eim/COMMENT_TYPEDISTROGERRIT_BRANCHmasterGERRIT_CHANGE_NUMBER42960GERRIT_HOSTgerrit.osmocom.orgGERRIT_PATCHSET_NUMBER3GERRIT_PATCHSET_REVISION8a4f625a81f564f5f17ea510b2ce67ff7a34d5e8GERRIT_PATCHSET_UPLOADER_NAMEdexterGERRIT_PORT29418GERRIT_PROJECTonomondo-eimGERRIT_REFSPECrefs/changes/60/42960/3GERRIT_REPO_URLssh://jenkins@gerrit.osmocom.org:29418/onomondo-eimPIPELINE_BUILD_URLhttps://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim/100/PROJECT_NAMEonomondo-eimBRANCH_CImaster00001138511138511.069766976012082768516851898a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8master8a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8master8a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8masterssh://jenkins@gerrit.osmocom.org:29418/onomondo-eimhttps://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/89/artifacthttps://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/changeshttps://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/89/https://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/89/testReportfalse#8911385140870gerrit-onomondo-eim-build #8989falsefalse89168515SUCCESS1784043212023https://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/89/- src/mnesia_db_euicc.erlsrc/mnesia_db.erl8a4f625a81f564f5f17ea510b2ce67ff7a34d5e81784042772000https://jenkins.osmocom.org/jenkins/user/pmaierpmaier@sysmocom.depmaier@sysmocom.demnesia_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
2026-07-14 17:26:12 +02008a4f625a81f564f5f17ea510b2ce67ff7a34d5e8mnesia_db_euicc: rename timer_setparam to timer_resteditsrc/mnesia_db_euicc.erleditsrc/mnesia_db.erl
githttps://jenkins.osmocom.org/jenkins/user/pmaierpmaier@sysmocom.depmaierCOMMENT_TYPEDISTROGERRIT_BRANCHmasterGERRIT_CHANGE_NUMBER42960GERRIT_HOSTgerrit.osmocom.orgGERRIT_PATCHSET_NUMBER3GERRIT_PATCHSET_REVISION8a4f625a81f564f5f17ea510b2ce67ff7a34d5e8GERRIT_PATCHSET_UPLOADER_NAMEdexterGERRIT_PORT29418GERRIT_PROJECTonomondo-eimGERRIT_REFSPECrefs/changes/60/42960/3GERRIT_REPO_URLssh://jenkins@gerrit.osmocom.org:29418/onomondo-eimPIPELINE_BUILD_URLhttps://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim/100/PROJECT_NAMEonomondo-eimBRANCH_CImasterStarted by upstream project "gerrit-onomondo-eim-build" build number 8989gerrit-onomondo-eim-buildjob/gerrit-onomondo-eim-build/00462004620061072610721.0000898a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8master8a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8master8a4f625a81f564f5f17ea510b2ce67ff7a34d5e88a4f625a81f564f5f17ea510b2ce67ff7a34d5e8masterssh://jenkins@gerrit.osmocom.org:29418/onomondo-eimfalse#896107227960gerrit-onomondo-eim-build ยป a1=default,a2=default,a3=default,a4=default,osmocom-gerrit #8989falsefalse89168543SUCCESS1784043212023https://jenkins.osmocom.org/jenkins/job/gerrit-onomondo-eim-build/a1=default,a2=default,a3=default,a4=default,label=osmocom-gerrit/89/build5-deb12build-ansible- src/mnesia_db.erlsrc/mnesia_db_euicc.erl8a4f625a81f564f5f17ea510b2ce67ff7a34d5e81784042772000https://jenkins.osmocom.org/jenkins/user/pmaierpmaier@sysmocom.depmaier@sysmocom.demnesia_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
2026-07-14 17:26:12 +02008a4f625a81f564f5f17ea510b2ce67ff7a34d5e8mnesia_db_euicc: rename timer_setparam to timer_resteditsrc/mnesia_db.erleditsrc/mnesia_db_euicc.erl
githttps://jenkins.osmocom.org/jenkins/user/pmaierpmaier@sysmocom.de