2018-07-27 17:23:38 +02:00
|
|
|
@LAZYGLOBAL OFF.
|
|
|
|
|
|
|
|
function warp_to {
|
|
|
|
parameter timestamp.
|
2019-02-08 22:18:09 +01:00
|
|
|
|
2018-08-05 19:40:16 +02:00
|
|
|
KUNIVERSE:timewarp:warpto(timestamp). // TODO: improve.
|
|
|
|
wait until TIME:seconds >= timestamp. // TODO
|
2018-07-27 17:23:38 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
function warp_for {
|
|
|
|
parameter seconds.
|
2019-02-08 22:18:09 +01:00
|
|
|
|
|
|
|
print "Warping for " + round(seconds, 1) + " seconds".
|
2018-08-05 19:40:16 +02:00
|
|
|
return warp_to(TIME:seconds + seconds).
|
2018-07-27 17:23:38 +02:00
|
|
|
}
|