Open
Description
When the server receives a run
query with pwd
option specified, it should switch to that directory for execution.
Feature: This behaviour should be toggle-able when starting the server to make the server stay in its current directory (useful for a remote server in a container, where the host's $PWD
is mounted to a specific directory).