From 059abe866be9a2a10f970f97e4660bcbe4eb2b2d Mon Sep 17 00:00:00 2001
From: Thomas Schoebel-Theuer <schoebel@bell.site>
Date: Tue, 21 Jan 2014 16:46:30 +0100
Subject: [PATCH] marsadm: fix lamport timestamp substitute when mars.ko is
 unloaded

---
 userspace/marsadm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/userspace/marsadm b/userspace/marsadm
index 83ad4621..21344487 100755
--- a/userspace/marsadm
+++ b/userspace/marsadm
@@ -185,7 +185,7 @@ sub mars_time {
     $lamport_time = $1 if /^lamport_now=(.*)/;
   }
   close($lamport_clock);
-  return $lamport_time || time() . '0' x 9;
+  return $lamport_time || time() . "." . '0' x 9;
 }
 
 sub sleep_timeout {