# HG changeset patch
# User wenzelm
# Date 907085585 -7200
# Node ID 7fceb6eea475d52caad90ece33590981d1e98cda
# Parent  7576d138d17f20b224ea7298fc25e13e8fd95072
handle empty name;

diff -r 7576d138d17f -r 7fceb6eea475 lib/Tools/logo
--- a/lib/Tools/logo	Tue Sep 29 16:06:04 1998 +0200
+++ b/lib/Tools/logo	Tue Sep 29 18:13:05 1998 +0200
@@ -55,10 +55,10 @@
 
 # args
 
-NAME=""
+NAME="-"
 [ $# -ge 1 ] && { NAME="$1"; shift; }
 
-[ $# -ne 0 -o -z "$NAME" ] && usage
+[ $# -ne 0 -o "$NAME" = "-" ] && usage
 
 
 ## main