日付および時刻の形式

デフォルトでは、DevCenterはyyyy-MM-dd HH:mm:ssZ 形式とGMTタイム・ゾーンを使用して日付を出力しますが、DevCenter-installation-directory/configuration/config.iniファイルでdevcenter.date.formatパラメーターかdevcenter.timezone.idパラメーターを追加または編集することで変更できます。

devcenter.date.format=yyyy.MM.dd G 'at' HH:mm:ss z
devcenter.timezone.id=America/New_York

タイム・ゾーンID値の例：Europe/Berlin、Japan、またはUS/Pacific。その他の例については、こちらのリストを参照してください。