#include "main.hh" #include "global_scheduler.hh" #include "ask.hh" #include "options.hh" #include int main(int argc, char* argv[]) { set_options(argc, argv); bool read_from_file = ((task_system != "") or ask_yes_or_no("Load an existing task system?")); Global_Scheduler gs = Global_Scheduler(); if (read_from_file) { gs.init_from_file(task_system); } else { gs.init_from_keyboard(); gs.store(); } if (!quiet) { std::cout << gs; } if (run or ask_yes_or_no("System loaded. Run it?")) { gs.run(); } if (crash) { return -1; } else { return 0; } }