I usually wait for refresh to finish then unschedule any refresh and then.
do monitor -k and -U
kill all texis.exe
and then monitor -R
Is this the correct sequence?
do monitor -k and -U
kill all texis.exe
and then monitor -R
Is this the correct sequence?