diff options
| author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-05-03 22:27:51 +0200 |
|---|---|---|
| committer | Bjørn Forsman <bjorn.forsman@gmail.com> | 2016-05-03 23:12:45 +0200 |
| commit | 78b6e8c3199c1ce8ad4744cb90b47e94739083da (patch) | |
| tree | 20e45d30f8101852e0c362ab8273543ad624e04d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 51e5beca4267d4138e9ac8babb744a65f8c4bed0 (diff) | |
jenkins service: improve curl call in postStart
* Perform HTTP HEAD request instead of full GET (lighter weight)
* Don't log output of curl to the journal (it's noise/debug)
* Use explicit http:// URL scheme
* Reduce poll interval from 10s to 2s (respond to state changes
quicker). Probably not relevant on boot (lots of services compete for
the CPU), but online service restarts/reloads should be quicker.
* Pass --fail to curl (should be more robust against false positives)
* Use 4 space indent for shell code.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions