aboutsummaryrefslogtreecommitdiff
path: root/lib/sharder.mli
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-02-05 21:42:34 +0000
committerAdelyn Breedlove <[email protected]>2019-02-05 21:42:34 +0000
commitae0f5c08bb4fb8868ca47030557a161993f24c8f (patch)
tree11e2cdb06393890ade23438f9b714dbdbe81aa63 /lib/sharder.mli
parentMove large_threshold to shard storage, as it isn't needed elsewhere (diff)
downloaddisml-ae0f5c08bb4fb8868ca47030557a161993f24c8f.tar.xz
disml-ae0f5c08bb4fb8868ca47030557a161993f24c8f.zip
Sharder fixes
Diffstat (limited to 'lib/sharder.mli')
-rw-r--r--lib/sharder.mli12
1 files changed, 10 insertions, 2 deletions
diff --git a/lib/sharder.mli b/lib/sharder.mli
index e00ad14..7c9c90d 100644
--- a/lib/sharder.mli
+++ b/lib/sharder.mli
@@ -37,6 +37,7 @@ module Shard : sig
(** Wrapper around an internal state, used to wrap {!shard}. *)
type 'a t = {
mutable state: 'a;
+ mutable stopped: bool;
}
(** Send a heartbeat to Discord. This is handled automatically. *)
@@ -67,7 +68,11 @@ module Shard : sig
unit ->
shard Deferred.t
- val shutdown_clean : shard -> unit Deferred.t
+ val shutdown :
+ ?clean:bool ->
+ ?restart:bool ->
+ shard t ->
+ unit Deferred.t
end
(** Calls {!Shard.set_status} for each shard registered with the sharder. *)
@@ -90,4 +95,7 @@ val request_guild_members :
t ->
Shard.shard list Deferred.t
-val shutdown_all : t -> unit list Deferred.t \ No newline at end of file
+val shutdown_all :
+ ?restart:bool ->
+ t ->
+ unit list Deferred.t