From 0e47827d5f461ceb0e67540adba7bc2fe3a360da Mon Sep 17 00:00:00 2001
From: Dave Brolley <brolley@redhat.com>
Date: Tue, 29 Jul 2008 13:40:08 -0400
Subject: Ensure that a systemtap server is available if 'server' is specified
 in EXTRA_TOOL_OPTS for 'make check' and 'make installcheck'

---
 stap-stop-server | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100755 stap-stop-server

(limited to 'stap-stop-server')

diff --git a/stap-stop-server b/stap-stop-server
new file mode 100755
index 00000000..5afcf705
--- /dev/null
+++ b/stap-stop-server
@@ -0,0 +1,30 @@
+#!/bin/bash
+
+# Start a systemtap server
+#
+# Copyright (C) 2008 Red Hat Inc.
+#
+# This file is part of systemtap, and is free software.  You can
+# redistribute it and/or modify it under the terms of the GNU General
+# Public License (GPL); either version 2, or (at your option) any
+# later version.
+
+# This script attempts to stop a systemtap server with the
+# given pid.
+
+# Get the process id.
+pid=$1
+if test "X$pid" = "X"; then
+   echo "Usage: $0 PROCESS_ID" >&2
+   exit 1
+fi
+
+# Verify that it is a systemtap server
+(ps -a | grep stap-serverd | grep -q $pid)
+if test $? != 0; then
+   echo "$pid is not a systemtap server"
+   exit 1
+fi
+
+# Try to kill the server
+kill -s SIGTERM $pid
-- 
cgit