Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 7a6c8654d9708933aaae507f1d0d25a666530504
https://github.com/jenkinsci/jenkins/commit/7a6c8654d9708933aaae507f1d0d25a666530504
Author: Jesse Glick <[email protected]>
Date: 2013-11-15 (Fri, 15 Nov 2013)
Changed paths:
M core/src/main/java/hudson/node_monitors/NodeMonitorUpdater.java
Log Message:
-----------
Avoid creating a mostly idle thread just to run a timed task.
Commit: b305fe082ce61d3d5d28cc07b91f4bc478a551c3
https://github.com/jenkinsci/jenkins/commit/b305fe082ce61d3d5d28cc07b91f4bc478a551c3
Author: Jesse Glick <[email protected]>
Date: 2013-11-15 (Fri, 15 Nov 2013)
Changed paths:
M core/src/main/java/hudson/Proc.java
M core/src/main/java/hudson/model/Computer.java
M core/src/main/java/hudson/model/UpdateCenter.java
M core/src/main/java/hudson/triggers/SCMTrigger.java
M core/src/main/java/hudson/util/CompressedFile.java
A core/src/main/java/hudson/util/NamingThreadFactory.java
M core/src/main/java/jenkins/InitReactorRunner.java
M core/src/main/java/jenkins/model/Jenkins.java
M core/src/main/java/jenkins/util/Timer.java
Log Message:
-----------
Added NamingThreadFactory to ensure that all code creating thread pool
executors was marking the threads.
Otherwise we get a bunch of pool-17-thread-5 with no clue who created so many
threads or why.
Also simplifies existing code which previously had to write one-off
ThreadFactory implementations just to set a name.
Commit: 574b161623e159c05a6777dace2b53dd2c2e58ca
https://github.com/jenkinsci/jenkins/commit/574b161623e159c05a6777dace2b53dd2c2e58ca
Author: CloudBees DEV@Cloud <[email protected]>
Date: 2013-11-15 (Fri, 15 Nov 2013)
Changed paths:
M changelog.html
M core/pom.xml
M core/src/main/java/jenkins/AgentProtocol.java
Log Message:
-----------
Merge REMERGE_HEAD into HEAD
Compare:
https://github.com/jenkinsci/jenkins/compare/d8eca0f5e7f8...574b161623e1
--
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 [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
