Unverified Commit 09f9dd1e authored May 03, 2023 by Kroese Committed by GitHub May 03, 2023

Kill netcat on exit

parent 7d54647d

run/server.sh

+2 −0

Original line number	Diff line number	Diff line
		#!/usr/bin/env bash
		set -eu

		trap 'kill 0' EXIT
		trap exit SIGINT SIGTERM

		# Serve the page