- if(stopTimer == FALSE) {
- stopping = TRUE;
- call PowerDownCleanup.cleanup();
- call StdControl.stop();
- call SplitControl.stop();
+ atomic {
+ if(stopTimer == FALSE) {
+ stopping = TRUE;
+ call PowerDownCleanup.cleanup();
+ call StdControl.stop();
+ if (call SplitControl.stop()==EALREADY)
+ signal SplitControl.stopDone(SUCCESS);
+ }