df-lockedsettings-patch #18

Merged
af123 merged 9 commits from df/webif:df-lockedsettings-patch into master 2020-11-14 11:16:59 +00:00
Showing only changes of commit 7bb66de5f2 - Show all commits

View File

@@ -62,8 +62,14 @@ proc {settings _safer_query} { queryText args } {
try {
return [$settingsdb query $queryText {*}$arg]
} on error {msg opts} {
if {[string first "database is locked" $msg] >= 0 && [incr lockCnt -1] > 0} {
if {[string first "database is locked" $msg] >= 0} {
if {[incr lockCnt -1] > 0} {
continue
} else {
# raise error from caller
set msg "Persistently unable to access Settings: database locked"
incr opts(-level)
}
}
return {*}$opts $msg
}