K 10 svn:author V 5 peter K 8 svn:date V 27 1999-05-08T18:20:57.000000Z K 7 svn:log V 73 Use haveseen_ioport() which is now connected up to the resource manager. END