Save: Flush to disk after writing to file (fixes #9589)

This commit is contained in:
Benjamin Pasero
2016-08-09 11:28:21 +02:00
parent 6dd65cc0c5
commit 974bce453e
5 changed files with 83 additions and 17 deletions

View File

@@ -272,13 +272,13 @@ export class FileService implements IFileService {
// Write fast if we do UTF 8 without BOM
if (!addBom && encodingToWrite === encoding.UTF8) {
writeFilePromise = pfs.writeFile(absolutePath, value, encoding.UTF8);
writeFilePromise = pfs.writeFileAndFlush(absolutePath, value, encoding.UTF8);
}
// Otherwise use encoding lib
else {
let encoded = encoding.encode(value, encodingToWrite, { addBOM: addBom });
writeFilePromise = pfs.writeFile(absolutePath, encoded);
writeFilePromise = pfs.writeFileAndFlush(absolutePath, encoded);
}
// 4.) set contents