marsadm: new primitive real-time

This commit is contained in:
Thomas Schoebel-Theuer 2017-07-19 14:30:33 +02:00 committed by Thomas Schoebel-Theuer
parent 4ffb69aac2
commit 58b9225508

View File

@ -3719,6 +3719,10 @@ sub eval_fn {
if (/^time$/) {
return mars_time();
}
if (/^real[-_]?time$/) {
my $time = time();
return $time;
}
if (/^replay[-_]?timestamp$/) {
$arg1 = parse_macro($arg1, $env);
$arg1 = $$env{"host"} unless $arg1;
@ -4531,6 +4535,8 @@ my %trivial_globs =
=> "",
"summary-vector",
=> "",
"{time,real-time}"
=> "",
"{alive,fetch,replay,work}-{timestamp,age,lag}"
=> "",