diff options
Diffstat (limited to 'config/mgmt2/vm.args')
| -rw-r--r-- | config/mgmt2/vm.args | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config/mgmt2/vm.args b/config/mgmt2/vm.args new file mode 100644 index 0000000..ea807ca --- /dev/null +++ b/config/mgmt2/vm.args @@ -0,0 +1,9 @@ +-name dreki2@mgmt2.stairway.dc2.scw.fr.eu.inf.random.sh + +-setcookie dreki_cookie + ++K true ++A30 + +## Enable multi_time_warp ++C multi_time_warp |