Configuring the default time zone

Note

These instructions are applicable to Deephaven on the web.

Users can now configure a default time zone for use with Deephaven.

This is dictated by two properties:

  • Webapi.user.defaults.timeZone=[TZ]; e.g., America/New_York
  • 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 now 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.