X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/46a6e6093d6e085c465833421a7dffadef9ba47c..0e6bfb3cba2e80bf14ca59c14ef57c35d138d892:/src/client.sig

diff --git a/src/client.sig b/src/client.sig
index 8cf8cd4..4b4b571 100644
--- a/src/client.sig
+++ b/src/client.sig
@@ -24,6 +24,8 @@ signature CLIENT = sig
 	   | Aborted
 	   | Error
 
+    val hastty : unit -> bool
+
     val getpass : unit -> passwd_result
     (* Standard non-echoed console password input with confirmation *)
 end