Closed nielsbuwen closed 7 months ago
Internally we use the string close to close the connection of a workspace with the server. Unfortunately this is also a valid python request.
close
This PR changes the internal command to $close. This is neither valid Python code nor valid SKILL code so it cannot be sent by accident.
$close
Closes #257
Internally we use the string
close
to close the connection of a workspace with the server. Unfortunately this is also a valid python request.This PR changes the internal command to
$close
. This is neither valid Python code nor valid SKILL code so it cannot be sent by accident.Closes #257