Display also creation time on dataset info page.

#211 Merged
Repository
nsoranzo
Branch
default
Repository
galaxy
Branch
default
Author
  1. Nicola Soranzo
Reviewers
Description

When viewing a dataset, it may useful to see not only its creation date, but also time.

Comments (4)

  1. Nicola Soranzo author

    Hi John, thanks for looking into it! Galaxy does not seem to be localized at all at the moment, anyway I see a problem with date/time localization here: we are showing the server date/time using the server locale to users which may be from another country/language. So, maybe using ISO-8601 is more appropriate, which in this case would be "%Y-%m-%d %H:%M:%S"

  2. Nicola Soranzo author

    Exchanging author/reviewer role, I approve Attempt 2! I'd only add pretty_datetime_format description in universe_wsgi.ini , e.g.:

    # Format string used when showing date and time information.
    # The string may contain:
    # - the directives used by Python time.strftime() function (see http://docs.python.org/2/library/time.html#time.strftime ),
    # - $locale (complete format string for the server locale),
    # - $iso8601 (complete format string as specified by ISO 8601 international standard).
    # pretty_datetime_format = "$locale (UTC)"
    

    If you merge your time2, I will obviously decline this pull request.