From: Michael Gernoth Date: Mon, 14 Jan 2008 22:51:57 +0000 (+0100) Subject: use bash builtin to detect player X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/2b4377c74739c68ced7fe12fe631fa0226a9fad4?hp=2b4377c74739c68ced7fe12fe631fa0226a9fad4;ds=sidebyside use bash builtin to detect player ---