toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
common
/
dev.ust.zinc.grader.model
/
Configuration
/
Context
/
eraseOutputDirOnShutdown
erase
Output
Dir
On
Shutdown
val
eraseOutputDirOnShutdown
:
Boolean
Whether to erase the
output directories
when stopping the grader.