aboutsummaryrefslogtreecommitdiff
path: root/lib/client/client.ml
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2018-11-10 20:43:04 +0000
committerAdelyn Breedlove <[email protected]>2018-11-10 20:43:04 +0000
commitf46b5e054e4667db0d4fd021a9420feb504fe2c5 (patch)
tree17269e6f8a9461f687a01bd924bf53ad4df5b547 /lib/client/client.ml
parentSingle shard mostly working (diff)
parentFix to sharding changes (diff)
downloaddisml-f46b5e054e4667db0d4fd021a9420feb504fe2c5.tar.xz
disml-f46b5e054e4667db0d4fd021a9420feb504fe2c5.zip
Merge branch 'dev' into 'master'
Fix to single-shard system, preparing for multi-sharding See merge request Mishio595/animus!1
Diffstat (limited to 'lib/client/client.ml')
-rw-r--r--lib/client/client.ml5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/client/client.ml b/lib/client/client.ml
index e69de29..3e90432 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