src/fileio.cpp
changeset 7016 65ca64810a94
parent 6990 136a08baf0ed
child 7352 958170ce0a74
equal deleted inserted replaced
7015:0e76fdaed37c 7016:65ca64810a94
   530 	for (; *filename != '\0'; filename++) {
   530 	for (; *filename != '\0'; filename++) {
   531 		switch (*filename) {
   531 		switch (*filename) {
   532 			/* The following characters are not allowed in filenames
   532 			/* The following characters are not allowed in filenames
   533 			 * on at least one of the supported operating systems: */
   533 			 * on at least one of the supported operating systems: */
   534 			case ':': case '\\': case '*': case '?': case '/':
   534 			case ':': case '\\': case '*': case '?': case '/':
       
   535 			case '<': case '>': case '|': case '"':
   535 				*filename = '_';
   536 				*filename = '_';
   536 				break;
   537 				break;
   537 		}
   538 		}
   538 	}
   539 	}
   539 }
   540 }