equal
deleted
inserted
replaced
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 } |