1 files changed, 20 insertions, 0 deletions
diff --git a/rts/js/time.js b/rts/js/time.js
new file mode 100644
index 0000000000..0ea6be1f54
--- /dev/null
+++ b/rts/js/time.js
@@ -0,0 +1,20 @@
+function h$clock_gettime(when, p_d, p_o) {
+  var is64 = p_d.i3.length == 4 && p_o == 0;
+  var o  = p_o >> 2;
+  var t  = Date.now ? Date.now() : new Date().getTime();
+  var tf = Math.floor(t / 1000);
+  var tn = 1000000 * (t - (1000 * tf));
+
+  if (is64) {
+    p_d.i3[o]   = tf|0;
+    p_d.i3[o+1] = 0;
+    p_d.i3[o+2] = tn|0;
+    p_d.i3[o+3] = 0;
+  } else {
+    p_d.i3[o]   = tf|0;
+    p_d.i3[o+1] = tn|0;
+  }
+  return 0;
+}
+
+function h$CLOCK_REALTIME() { return 0; }