+/*
+ * A trigger that exits whenever it's trigged (used when we change big things
+ * such as starting a new tournament, and it's not really worth doing a clean
+ * change).
+ */
+class ExitTrigger : pqxx::trigger {
+public:
+ ExitTrigger(pqxx::connection_base &conn, const PGSTD::string &name)
+ : pqxx::trigger(conn, name) {}
+ virtual ~ExitTrigger() throw () {}
+
+ virtual void operator() (int pid)
+ {
+ std::fprintf(stderr, "Received an exit trigger from pid %u\n", pid);
+ exit(0);
+ }
+};
+