Closed Heizmann closed 7 years ago
Fixes a problem discussion in the forum. https://www.tapatalk.com/groups/starexec/stale-file-handle-t148.html
The only difference to the former configuration file is that we additionally pass the following argument to our tool. -data "$TMPDIR"
Fixes a problem discussion in the forum. https://www.tapatalk.com/groups/starexec/stale-file-handle-t148.html
The only difference to the former configuration file is that we additionally pass the following argument to our tool. -data "$TMPDIR"