I just assumed rocksdb takes a second to remove it...
# general
a
I just assumed rocksdb takes a second to remove its PID file?