#!/bin/sh
java -Dawt.toolkit=bmsi.tui.TUIKit -Dbmsi.tuipeer="tuipeer -a -s5,5" $*

# Linux version doesn't properly restore tty settings without setpgrp(),
# so this is a temporary workaround to keep us sane.
stty sane