Nick Gerner gerner

## kill-processes-orphaned-by-jenkins.sh
#! /bin/bash

# Kill processes orphaned by Jenkins

# Work around Java's use of SIGTERM rather than SIGKILL and
# Jenkins's lack of any workaroud in the box.
# here is the relevant bug:
# https://issues.jenkins-ci.org/browse/JENKINS-17116

# Suggested usage:
	#! /bin/bash

	# Kill processes orphaned by Jenkins

	# Work around Java's use of SIGTERM rather than SIGKILL and
	# Jenkins's lack of any workaroud in the box.
	# here is the relevant bug:
	# https://issues.jenkins-ci.org/browse/JENKINS-17116

	# Suggested usage: