#!/usr/bin/env bash
set -euo pipefail

if [[ "$(id -u)" -ne 0 ]]; then
	echo >&2 "Run with sudo"
	exit 1
fi

if [[ $# -eq 0 ]]; then
	server_exec=./server
elif [[ $# -eq 1 ]]; then
	server_exec="$1"
else
	echo >&2 "Usage: $0 [server executable]"
	echo >&2 "By default runs ./server"
	exit 1
fi

if [[ ! -x "$server_exec" ]]; then
	echo >&2 "Cannot execute server executable $server_exec"
	exit 1
fi

echo 1 >/proc/sys/net/ipv4/icmp_echo_ignore_all
trap "echo 0 >/proc/sys/net/ipv4/icmp_echo_ignore_all" EXIT
"$server_exec"