// RSM test client
//
-#include "types.h"
-#include "rsm_protocol.h"
-#include "rsmtest_client.h"
+#include "include/types.h"
+#include "include/rsm_protocol.h"
+#include "include/rsmtest_client.h"
int main(int argc, char *argv[]) {
global = new t4_state('t');
rsmtest_client *lc = new rsmtest_client(argv[1]);
string command(argv[2]);
- if (command == "partition") {
+ if (command == "partition")
LOG_NONMEMBER << "net_repair returned " << lc->net_repair(std::stoi(argv[3]));
- } else if (command == "breakpoint") {
- int b = std::stoi(argv[3]);
- LOG_NONMEMBER << "breakpoint " << b << " returned " << lc->breakpoint(b);
- } else {
+ else if (command == "breakpoint")
+ LOG_NONMEMBER << "breakpoint " << argv[3] << " returned " << lc->breakpoint(std::stoi(argv[3]));
+ else
LOG_NONMEMBER << "Unknown command " << argv[2];
- }
return 0;
}