#!/bin/bash
# This script is called to restore echo on the given tty device
/bin/stty --file=$1 echo
/bin/stty --file=$1 sane
exit 0
