OrientDB: Wie stelle ich die Zeitzone auf Europa/Rom ein?

Question

Ich benutze die OrientDB Community Edition 2.1.11 auf einem Ubuntu 14.04 Server.

I verwendet

ALTER DATABASE TIMEZONE UTC 

die Zeitzone zu ändern, weil ich einige Probleme mit der Sommerzeit (DST) hatte. Da diese Änderung mir bei einigen anderen Skripten einige große Probleme bereitet hat, möchte ich die Zeitzone wieder auf "Europa/Rom" setzen.

Ich versuchte

ALTER DATABASE TIMEZONE "Europe/Rome" 

und

ALTER DATABASE TIMEZONE Europe/Rome 

von Studio, aber beide diese Befehle setzen die Zeitzone zu GMT. Ich versuchte auch

ALTER DATABASE TIMEZONE GMT+1 

und dies funktioniert wie erwartet Einstellung der Zeitzone zu GMT + 01: 00. Das wird dieses Wochenende ein Problem sein, wenn wir von GMT + 1 (MEZ) zu GMT + 2 (MESZ, Sommerzeit) gehen, während ich denke, dass "Europa/Rom" korrekt von CET zu MESZ wechseln würde.

Können Sie mir bitte sagen, wie die korrekte Syntax ist, um zur Zeitzone "Europa/Rom" zurückzukehren?

Dank

Answer 1

Könnten Sie bitte ein Problem für die ALTER DATABASE TIMEZONE "Europe/Rome" Befehl öffnen?