Jenkins and GEMOC splash screen show the wrong build time

[ebousse]

For a build performed a few hours ago, both the Jenkins web UI and the generated studio splash screen show the wrong build time, which is a little confusing:

It looks like we make our commits in the middle of the night :)

[dvojtise]

Actually this is probably the Jenkins server time in the US ...
I don't know if we can easily generate another time in the maven script

[ebousse]

For maven I believe we can pass arguments to the JVM like this https://confluence.atlassian.com/jirakb/setting-the-timezone-for-the-java-environment-323392719.html or like this https://stackoverflow.com/questions/23466218/setting-timezone-for-maven-unit-tests-on-java-8 ?

For the Jenkins web UI, maybe there is an option in the administration panel of the Jenkins instance? (I don't have access to it)

[dvojtise]

We can't access the Jenkins general configuration (only Eclipse administrators do) so we can't change the server/jenkins internal time to europe instead of US (currently is it Eastern Daylight Time (EDT) you can see it at the bottom rigth of jenkins pages).
We can change at the job level the displayed time, but to be complete, we should also add GMT or UTC so a use may understand that the job that build the studio may have a different time zone ...

[dvojtise]

the time stamp is created here : https://github.com/eclipse/gemoc-studio/blob/master/gemoc_studio/plugins/org.eclipse.gemoc.gemoc_studio.branding/pom.xml by buildnumber-maven-plugin.
it may worth to try to use the create-timestamp-mojo instead of create_mojo by making sure to use a correct property name in order to generate correctly both about.ini and splash screen

[ebousse]

You are right, people might be downloading the studio from anywhere, so we should simply probably stick to UTC if possible, and we should explicitly write "UTC" next to the time stamp. I would vote for doing that for the splash screen, eventually, but that's of course a low priority.

So we don't have access to the administration page of the Jenkins? That's too bad, but I guess it's not worth it to contact them for that. Strangely, it's not even possible to choose a custom time zone in the user profile page...

[dvojtise]

in addition to the splash and about, we should also check that the .qualifier (ie. -SNAPSHOT) of the plugins and features also get an UTC time, I'm not sure this is the case now...

[dvojtise]

Splashscreen and About box now show time with UTC

about the Jenkins part we can't do much, maybe in the future with upadtes of jenkins that would fix https://issues.jenkins-ci.org/browse/JENKINS-19887 and/or https://issues.jenkins-ci.org/browse/JENKINS-1962...