changeset 578 | 71461e470024 |
parent 482 | 8ae3af4c090a |
child 623 | 2973905a7151 |
--- a/model/dce-manager.cc Fri Feb 28 11:31:46 2014 +0100 +++ b/model/dce-manager.cc Tue Mar 04 11:01:04 2014 +0900 @@ -258,7 +258,7 @@ line += exeFullPath; line += "'."; AppendStatusFile (current->process->pid, current->process->nodeId, line); - NS_ASSERT_MSG (!main, line.c_str ()); + NS_ASSERT_MSG (main, line.c_str ()); } else {