commands/uidinfo/uidinfo.cif
changeset 80 ed15378514e0
parent 70 b06038904ef8
--- a/commands/uidinfo/uidinfo.cif	Wed Sep 22 10:56:39 2010 +0100
+++ b/commands/uidinfo/uidinfo.cif	Wed Sep 22 17:40:33 2010 +0100
@@ -34,5 +34,6 @@
 
 ==smoke-test
 
-uidinfo 0x100041af | export -s RESULT
-var RESULT == "0x100041af EKern.exe^r^n" || $Error
+# Use the fileserver as it's guaranteed to be there
+uidinfo 0x100039e3 | export -s RESULT
+var RESULT == "0x100039e3 efile.exe^r^n" || var RESULT == "0x100039e3 EFile.exe^r^n" || $Error # Emulator capitalises differently, sigh