11 lock.get_database().write_comment(
"Hello");
12 lock.checkpoint_and_push();
13 lock.get_database().write_comment(
"Goodbye");
14 lock.get_database().write_timestamp();
15 lock.checkpoint_and_push_unlock();
21int main(
int argc,
char **argv)
Class for conveniently parsing command-line arguments.
For more flexibility than the transaction lambda.
Shortcut to directly build a Client from a file name.
int main_wrapper(int(*main)(Arguments &), int argc, char **argv)
Process command-line arguments and catch exceptions from main.