Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 5de6a8d06dbc2fe7e34bf8fb531c6588bbc77db8
https://github.com/jenkinsci/jenkins/commit/5de6a8d06dbc2fe7e34bf8fb531c6588bbc77db8
Author: Oleg Nenashev <o.v.nenas...@gmail.com>
Date: 2014-03-17 (Mon, 17 Mar 2014)
Changed paths:
M core/src/main/java/hudson/model/View.java
M core/src/main/resources/hudson/model/View/index.jelly
M core/src/main/resources/lib/layout/breadcrumbBar.jelly
M core/src/main/resources/lib/layout/layout.jelly
Log Message:
-----------
[JENKINS-21190] - lib/layout/layout.jelly: Interpret norefresh=="false" as
"autorefresh is enabled"
The fix allows to explicitly disable automatic page refreshes in the @View
extensions.
Resolves https://issues.jenkins-ci.org/browse/JENKINS-21190
Signed-off-by: Oleg Nenashev <o.v.nenas...@gmail.com>
Commit: a135dce2458e093f0f13fb487301cfebfa1c10df
https://github.com/jenkinsci/jenkins/commit/a135dce2458e093f0f13fb487301cfebfa1c10df
Author: Jesse Glick <jgl...@cloudbees.com>
Date: 2014-03-17 (Mon, 17 Mar 2014)
Changed paths:
M core/src/main/java/hudson/model/View.java
M core/src/main/resources/hudson/model/View/index.jelly
M core/src/main/resources/lib/layout/breadcrumbBar.jelly
M core/src/main/resources/lib/layout/layout.jelly
Log Message:
-----------
Merge branch 'norefresh_views' of https://github.com/synopsys-arc-oss/jenkins
Commit: 4bb0f98901e2836688ae6c56b9f112c105bc1c54
https://github.com/jenkinsci/jenkins/commit/4bb0f98901e2836688ae6c56b9f112c105bc1c54
Author: Jesse Glick <jgl...@cloudbees.com>
Date: 2014-03-17 (Mon, 17 Mar 2014)
Changed paths:
M changelog.html
M core/src/main/java/hudson/model/View.java
Log Message:
-----------
[FIXED JENKINS-21190] [FIXED JENKINS-21191] Noting merge of #1082.
Compare:
https://github.com/jenkinsci/jenkins/compare/485cc150eaa3...4bb0f98901e2
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
