fix ping url (#34)

huangzhibo · jonn-smith · commit a084fe00d5ac · 2018-12-13T09:44:58.000-05:00
* fix ping url

When my CROMWELL_URL is "http://localhost:8000",  the ":8000" string should be trimed.

* change the regex

change  :.*  to  :[0-9]*
diff --git a/cromshell b/cromshell
@@ -237,7 +237,7 @@ function checkPrerequisites
 function assertCanCommunicateWithServer
 {
   # Make sure we can talk to the cromwell server:
-  serverName=$( echo ${1}| sed 's#.*://##g' )
+  serverName=$( echo ${1}| sed 's#.*://##g'| sed 's#:[0-9]*##g' )
   $PING_CMD $serverName &> /dev/null
   r=$?
   [[ $r -ne 0 ]] && error "Error: Cannot communicate with Cromwell server: $serverName" && exit 4

Original file line number	Diff line number	Diff line change
`@@ -237,7 +237,7 @@ function checkPrerequisites`
`237`	`237`	`function assertCanCommunicateWithServer`
`238`	`238`	`{`
`239`	`239`	`# Make sure we can talk to the cromwell server:`
`240`		`- serverName=$( echo ${1}\| sed 's#.*://##g' )`
	`240`	`+ serverName=$( echo ${1}\| sed 's#.://##g'\| sed 's#:[0-9]##g' )`
`241`	`241`	`$PING_CMD $serverName &> /dev/null`
`242`	`242`	`r=$?`
`243`	`243`	`[[ $r -ne 0 ]] && error "Error: Cannot communicate with Cromwell server: $serverName" && exit 4`