#!/bin/bash

set -x

if [ "$1" == server ]; then
    /usr/sbin/sshd
    shift
    exec etserver --logtostdout -v 1 "$@"
else
    shift
    exec et "$@"
fi
