#!/bin/bash

kill $(<tmp/pids/server.pid)