-
Notifications
You must be signed in to change notification settings - Fork 5
Question - Does the playground need to be stopped? #5
Comments
That's a great question! It launches a server when you run the 'Launch WordPress Playground' command: wordpress-playground-vscode/src/extension.ts Lines 130 to 167 in 09c2ad5
I'm not sure how the server is shut down...
We launch a new server for each invocation of 'Launch WordPress Playground'. @adamziel My WordPress Playground is somehow stuck on v0.0.2: I saw you published v0.0.8 in the last few days. I tried uninstalling and re-installing but it didn't change things. Any ideas what the cause might be? |
At the moment, there's no way to stop a server once you start it. It would be great to have some UI for this and also for switching WP and PHP versions. Version 0.0.9 perhaps? :-) @danielbachhuber this is super weird! I suspect it's somehow linked to the fact you've developed v0.0.2 on your computer. Perhaps you've copied the extension file manually somewhere? Regardless, are you able to install v0.0.8 via the "Install Another Version..." option here? |
(Note, I know that this repo is going to be moved eventually, so I'm just logging questions I have about how it works. Happy to wait till the repo is moved for the answers).
After the last update the playground opens in a browser tab (great update), but it makes me wonder, do I need to somehow stop the playground. I assume it uses some resources to launch, so how could I stop it once I don't need it anymore? Or would the same playground be used if I launched it from a different plugin?
The text was updated successfully, but these errors were encountered: