chiark / gitweb /
Late fix for new interface.
authormdw <mdw>
Mon, 10 Mar 2003 23:38:06 +0000 (23:38 +0000)
committermdw <mdw>
Mon, 10 Mar 2003 23:38:06 +0000 (23:38 +0000)
elite-find

index 13a0f21..f760f5e 100755 (executable)
@@ -1,6 +1,6 @@
 #! /usr/bin/tclsh
 #
-# $Id: elite-find,v 1.3 2003/03/07 00:41:46 mdw Exp $
+# $Id: elite-find,v 1.4 2003/03/10 23:38:06 mdw Exp $
 
 package require "elite" "1.0.1"
 
@@ -65,7 +65,7 @@ if {$i == [llength $argv] - 1} {
   puts stderr "usage: $argv0 \[-g GALAXY\] \[EXPR\]"
   exit 1
 }
-set ww [worldinfo $g]
+set ww [elite-galaxylist $g]
 foreach {s x y} $ww {
   if {[string equal $expr ""] || [ok $s {} $expr]} {
     puts [world-summary $s]