search

microsoft / psi

Platform for Situated Intelligence
https://github.com/microsoft/psi/wiki
Other
538 stars 96 forks source link

fix: dispose the open file handle if disk is full #275

Closed austinbhale closed 1 year ago

austinbhale commented 1 year ago

When running out of disk space, the call to MemoryMappedFile.CreateFromFile throws the following exception: System.IO.IOException: 'There is not enough space on the disk'. The file handle still remains open in this case, and doesn't let other processes on the system delete/modify it.

sandrist commented 1 year ago

/azp run

azure-pipelines[bot] commented 1 year ago
Azure Pipelines successfully started running 1 pipeline(s).