--- trunk/tntnet/dynamic/critical.ecpp 2007/11/30 16:03:46 110 +++ trunk/tntnet/dynamic/critical.ecpp 2007/11/30 16:05:11 111 @@ -40,6 +40,8 @@ criticals.push_back(CriticalInstallation(res[i].getInt(0), std::string("Communication Error"))); } + + }> <&footer>