Move towards fixing remote launcher

2022-08-01 22:30:29 +01:00
parent 82db86f55f
commit 237cd3e020
5 changed files with 43 additions and 43 deletions
@@ -458,7 +458,9 @@ fireRemoteShell it cr w =
        makeShell
            it
            cr
-            [ PJSetScope itid
+            [ PJRemoteShellCollisionCheck
+            , PJSetScope itid
+            , PJDecTimMvVel
            , PJThrust 330 0
            , PJRemoteDirection 340 0 cid itid
            ]