diff options
| author | Mishio595 <[email protected]> | 2018-11-10 11:39:55 -0700 |
|---|---|---|
| committer | Mishio595 <[email protected]> | 2018-11-10 11:39:55 -0700 |
| commit | bb25fb5eb04df382ecb865bc02f1db06fa6a0967 (patch) | |
| tree | 3ffae1f97ad55f9231cf106f5318b5efbd5432d4 /lib/client/client.ml | |
| parent | Single shard mostly working (diff) | |
| download | disml-bb25fb5eb04df382ecb865bc02f1db06fa6a0967.tar.xz disml-bb25fb5eb04df382ecb865bc02f1db06fa6a0967.zip | |
Sharding changes, non-functional
Diffstat (limited to 'lib/client/client.ml')
| -rw-r--r-- | lib/client/client.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/client/client.ml b/lib/client/client.ml index e69de29..94817ab 100644 --- a/lib/client/client.ml +++ b/lib/client/client.ml @@ -0,0 +1,5 @@ +let notify t data = + Yojson.Basic.pretty_print Format.std_formatter data; + print_newline (); + print_endline t; + ()
\ No newline at end of file |