diff options
Diffstat (limited to 'source/dummy_definitions_update.sh')
| -rw-r--r-- | source/dummy_definitions_update.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/source/dummy_definitions_update.sh b/source/dummy_definitions_update.sh index 53a4651..c08612d 100644 --- a/source/dummy_definitions_update.sh +++ b/source/dummy_definitions_update.sh @@ -1,8 +1,10 @@ +#!/bin/sh # this will go on the post-receive hooks for repos updated by lorry +set -e category=definitions -IP=10.24.2.109 +IP=127.0.0.1 port=9999 user=orchestration passwd=orchestration |