+ vobfile="$dvdname"
+ dvdname=`basename "$dvdname"`
+ dvdname=${dvdname%.[^.]*}
+ keep_vobfile=1
+ valid_file=1
+ fi
+
+ # check to see if dvdname is a full path to an ISO file
+ # if it is, set dvdname and isofile appropriately
+ file "$dvdname" | grep -q "ISO"
+ if [ $? == 0 ]; then
+ # It is a valid ISO file, now strip the extension off our dvdname
+ isofile="$dvdname"
+ dvdname=`basename "$dvdname"`