marsadm: fix lamport timestamp substitute when mars.ko is unloaded

This commit is contained in:
Thomas Schoebel-Theuer 2014-01-21 16:46:30 +01:00
parent 95e2b9d8d0
commit 059abe866b
1 changed files with 1 additions and 1 deletions

View File

@ -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 {