puppet-0.25.1-redhat-port.patch
| puppet-0.25.1/conf/redhat/client.init 2009-10-05 13:58:00.000000000 +0200 | ||
|---|---|---|
| 25 | 25 |
PUPPET_OPTS="" |
| 26 | 26 |
[ -n "${PUPPET_SERVER}" ] && PUPPET_OPTS="--server=${PUPPET_SERVER}"
|
| 27 | 27 |
[ -n "$PUPPET_LOG" ] && PUPPET_OPTS="${PUPPET_OPTS} --logdest=${PUPPET_LOG}"
|
| 28 |
[ -n "$PUPPET_PORT" ] && PUPPET_OPTS="${PUPPET_OPTS} --port=${PUPPET_PORT}"
|
|
| 28 |
[ -n "$PUPPET_PORT" ] && PUPPET_OPTS="${PUPPET_OPTS} --masterport=${PUPPET_PORT}"
|
|
| 29 | 29 | |
| 30 | 30 |
# Figure out if the system just booted. Let's assume |
| 31 | 31 |
# boot doesn't take longer than 5 minutes |