Merge branch 'master' of gitlab.psi.ch-samenv:samenv/sea

This commit is contained in:
2023-03-23 13:48:01 +01:00
23 changed files with 122 additions and 49 deletions

View File

@ -618,12 +618,12 @@ proc secop::update_ {} {
hsetprop $objpath status posfault
}
} else {
if {[silent idle hgetpropval $objpath status] eq "run" && $writestatus ne "done"
&& ($value < 300 || $value >= 390)} {
clientput "$objpath/target changed, but status not BUSY: $value $text_value ($writestatus)"
set value 300
set text_value "target changed ($text_value)"
}
# if {[silent idle hgetpropval $objpath status] eq "run" && $writestatus ne "done"
# && ($value < 300 || $value >= 390)} {
# clientput "$objpath/target changed, but status not BUSY: $value $text_value ($writestatus)"
# set value 300
# set text_value "target changed ($text_value)"
# }
if {$value < 300 || $value >= 390} { # not busy or finalizing
hsetprop $objpath status idle
}