[Studio] Update Database Setting fails

[gramian]

ArcadeDB Version 25.1.1

Trying to update a database settings where the new value contains a space fails on the server with the error:

Error on command execution (PostServerCommandHandler): Expected <database> <key> <value>

for example:

wget -qO- --content-on-error http://localhost:2480/api/v1/server --post-data='{"command":"set database setting test `arcadedb.dateTimeFormat` \"yyyy-MM-dd HH:mm:ss.SSS\";"}' --user=root --password=password

while:

wget -qO- --content-on-error http://localhost:2480/api/v1/server --post-data='{"command":"set database setting test `arcadedb.dateTimeFormat` \"yyyy-MM-ddTHH:mm:ss.SSS\";"}' --user=root --password=password

works. Note the space in the new date format.
I think the problem lies here: https://github.com/ArcadeData/arcadedb/blob/main/server/src/main/java/com/arcadedb/server/http/handler/PostServerCommandHandler.java#L272 If the date-time format contains a space it is split inside too and thus not matching the required number of elements.

Also, the line https://github.com/ArcadeData/arcadedb/blob/main/studio/src/main/resources/static/js/studio-database.js#L865 can be deleted because a language is not used for server commands.