mikros: Close files on drop

2024-06-18 16:44:55 -05:00 · 2024-06-18 16:44:55 -05:00 · 5f82526318
commit 5f82526318
parent 6dba227540
1 changed files with 13 additions and 0 deletions
--- a/library/std/src/sys/pal/mikros/fs.rs
+++ b/library/std/src/sys/pal/mikros/fs.rs
@ -375,6 +375,19 @@ pub fn set_times(&self, _times: FileTimes) -> io::Result<()> {
    }
 }

+impl Drop for File {
+    fn drop(&mut self) {
+        let _ = &rpc::send_call(
+            self.fs_pid,
+            1,
+            2,
+            &postcard::to_allocvec(&self.fd)
+            .unwrap(),
+        )
+        .get_return();
+    }
+}
+
 impl DirBuilder {
    pub fn new() -> DirBuilder {
        DirBuilder {}