Open
Description
The reason it doesn't take an id, is so it can't be called a second time.
But it's often hard to tell who used which single eval endpoint.
So allowing to supply a prefix would help tell who sent it.
Currently, the name of the session would be an uuid like 8ea0dc84-c4ce-4e20-8444-5c57d340c0cb
.
But with this change, it could have an optional prefix in order to end up like this john_8ea0dc84-c4ce-4e20-8444-5c57d340c0cb
Implementation note : the prefix must be validated with a similar regex to JShellController#validateId(String)
, but shouldn't allow any underscore, so underscore can be used to separate the prefix to the uuid.