Remove unneeded kill

sjuls · sjuls · commit 7f52ad8dc40b · 2023-11-07T14:23:54.000+01:00
diff --git a/.circleci/run_tests.sh b/.circleci/run_tests.sh
@@ -111,10 +111,8 @@ python3 tests/python/tests.py || exit 1
 
 #
 # Go tests
-# Starts its own pgcat server and therefore needs to kill existing pgcat server before starting
+# Starts its own pgcat server
 #
-kill -SIGINT $(pgrep pgcat)
-
 pushd tests/go
 /usr/local/go/bin/go test || exit 1
 popd

Original file line number	Diff line number	Diff line change
`@@ -111,10 +111,8 @@ python3 tests/python/tests.py \|\| exit 1`
`111`	`111`
`112`	`112`	`#`
`113`	`113`	`# Go tests`
`114`		`-# Starts its own pgcat server and therefore needs to kill existing pgcat server before starting`
	`114`	`+# Starts its own pgcat server`
`115`	`115`	`#`
`116`		`-kill -SIGINT $(pgrep pgcat)`
`117`		`-`
`118`	`116`	`pushd tests/go`
`119`	`117`	`/usr/local/go/bin/go test \|\| exit 1`
`120`	`118`	`popd`