client: function to check if stdin is a tty

[hcoop/domtool2.git] / src / client.sig

diff --git a/src/client.sig b/src/client.sig
index 8cf8cd4..4b4b571 100644 (file)
--- 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