fix small memory leak in OSDI interface

3 years ago · d495333578
1 changed files with 2 additions and 0 deletions
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@ -316,6 +316,8 @@ extern OsdiObjectFile load_object_file(const char *input) {
    return INVALID_OBJECT;
  }

+  txfree(path);
+
  GET_CONST(OSDI_NUM_DESCRIPTORS, uint32_t);
  GET_PTR(OSDI_DESCRIPTORS, OsdiDescriptor);