backend: pass --game arg when launching REPL (#576)

This commit is contained in:
Tyler Wilding 2024-09-26 21:39:14 -04:00 committed by GitHub
parent bc760d802f
commit c32e02d3b0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -600,6 +600,8 @@ pub async fn open_repl(
"/K", "/K",
"start", "start",
&bin_ext("goalc"), &bin_ext("goalc"),
"--game",
&game_name,
"--proj-path", "--proj-path",
&data_folder.to_string_lossy(), &data_folder.to_string_lossy(),
]) ])