src/fileio.cpp
changeset 7016 65ca64810a94
parent 6990 136a08baf0ed
child 7352 958170ce0a74
--- a/src/fileio.cpp	Fri Jun 22 18:43:11 2007 +0000
+++ b/src/fileio.cpp	Fri Jun 22 19:30:59 2007 +0000
@@ -532,6 +532,7 @@
 			/* The following characters are not allowed in filenames
 			 * on at least one of the supported operating systems: */
 			case ':': case '\\': case '*': case '?': case '/':
+			case '<': case '>': case '|': case '"':
 				*filename = '_';
 				break;
 		}