added /isolinux for search path for mindstorms.dir. For the case that grub is...

added /isolinux for search path for mindstorms.dir. For the case that grub is used to boot iso file directly

tools/rc.local.sh

@@ -57,7 +57,7 @@ done
 # Try to find mindstorms.dir directory (also on boot medium)
 if ! mountpoint -q /home/mindstorms/work; then
 	echo "Looking for mindstorms.dir directory (also on boot medium) ..."
-	for DIR in /cdrom/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
+	for DIR in /cdrom/mindstorms.dir  /isodevice/mindstorms.dir /mnt/localfs/*/mindstorms.dir; do
 		MOUNTPOINT="${DIR%/*}"
 		[ -d "$DIR" ] || continue
 		echo "Found mindstorms.dir at ${DIR}. Re-mounting as writable ..."