Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove old prompt tempfile and pid variable
This is a leftover of sorin-ionescu#1385, the temp file and the PID variable is not needed any more.
- Loading branch information