Rev 23 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
!read scripts/check.class
!if $error!=$empty
!exit
!endif
!read scripts/check.option
!if $error!=$empty
!exit
!endif
!if $option=$empty
error=missing file name
!exit
!endif
fname=log/classes/$qclass/$option