From 51ac19f565fa935eec6d9dd1f7119c6227383a3c Mon Sep 17 00:00:00 2001
From: Jacob Mitchell <jmitchell@member.fsf.org>
Date: Wed, 7 Sep 2016 13:19:13 -0700
Subject: HTTP Last-Modified: latest modtime of source files

See issue #38.
---
 src/globals.sig | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/globals.sig

(limited to 'src/globals.sig')

diff --git a/src/globals.sig b/src/globals.sig
new file mode 100644
index 00000000..0cff65b5
--- /dev/null
+++ b/src/globals.sig
@@ -0,0 +1,7 @@
+signature GLOBALS = sig
+
+    (* When was the Ur/Web compiler started or reset? *)
+    val setResetTime : unit -> unit
+    val getResetTime : unit -> Time.time
+
+end
-- 
cgit v1.2.3