Configure the default time zone

You can set a default time zone for Deephaven by editing two properties in a properties file:

  • Webapi.user.defaults.timeZone=[TZ]; e.g., America/New_York. This sets the default time zone for the web client.
  • Webapi.user.defaults.timeZone.editable=true. When set to false, users cannot alter the time zone from the UI.

If these properties are unspecified, the time zone will default to the user’s time zone on first login.

In addition, you can specify additional properties you would like to transfer with the web API settings, with the Webapi.additionalProps prop:

Webapi.additionalProps=Webapi.custom.test,bender.custom.prop,bender.custom.bool,bender.custom.number,bender.custom.null
Webapi.custom.test=hello
bender.custom.prop=world
bender.custom.number=4
bender.custom.bool=true

These settings are transferred to the client, and could be used by plugins for specific settings.