#!/bin/bash

# start 3 servers on different ports