diff --git a/openbis_all/source/bash/internal/disk-io.d b/openbis_all/source/bash/internal/disk-io.d index f29f6bf6eee1b7f60c277b1abd93a54629d70ee0..d8b8d97ac12958a4c3af7e671a92ba31dea2bd14 100644 --- a/openbis_all/source/bash/internal/disk-io.d +++ b/openbis_all/source/bash/internal/disk-io.d @@ -16,27 +16,20 @@ syscall::open*:entry printf("%s", self->filename); } -syscall::open*:return -/pid == $target/ -{ - self->handles[arg1] = self->filename; -} - syscall::close*:entry /pid == $target/ { - printf("%s",self->handles[arg0]); - self->handles[arg0] = 0; + printf("%s",fds[arg0].fi_pathname); } syscall::read*:entry /pid == $target/ { - printf("%s", self->handles[arg0]); + printf("%s", fds[arg0].fi_pathname); } syscall::write*:entry /pid == $target/ { - printf("%s", self->handles[arg0]); + printf("%s", fds[arg0].fi_pathname); } \ No newline at end of file