diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2006-10-17 13:34:16 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2006-10-17 13:34:16 +0000 |
| commit | e6cdcc3791d1995f080ba7a6d89a22f1f2d4f0c1 (patch) | |
| tree | 82da3df659a192ba4191d5db999f77fba78194c7 /CIAO/DAnCE/NodeManager/MonitorController.cpp | |
| parent | df88bee5bba6f852288c55d68514fd1597e8a0b1 (diff) | |
| download | ATCD-e6cdcc3791d1995f080ba7a6d89a22f1f2d4f0c1.tar.gz | |
Tue Oct 17 13:30:12 UTC 2006 Johnny Willemsen <jwillemsen@remedy.nl>
Diffstat (limited to 'CIAO/DAnCE/NodeManager/MonitorController.cpp')
| -rw-r--r-- | CIAO/DAnCE/NodeManager/MonitorController.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CIAO/DAnCE/NodeManager/MonitorController.cpp b/CIAO/DAnCE/NodeManager/MonitorController.cpp index 92d40b0b598..cff6b86df1b 100644 --- a/CIAO/DAnCE/NodeManager/MonitorController.cpp +++ b/CIAO/DAnCE/NodeManager/MonitorController.cpp @@ -220,7 +220,7 @@ CIAO::MonitorController::terminate () guard, lock_); - terminate_flag_=1; + terminate_flag_ = true; } bool |