Augustin Borsu 44ea184997 jenkins ci enhancement: add port and prefix option ... As named these options enable to specify a bind host and url prefix to be used by jenkins. Adding these options in the config rather than using extra arguments allows us to re-use those information in other services using jenkins such as jenkins-job-builder or a reverse proxy.		2015-12-23 11:38:57 +01:00
..
jenkins	jenkins ci enhancement: add port and prefix option	2015-12-23 11:38:57 +01:00