## To Reproduce 1. use arrow keys to move cursor to a `Define` line 2. press `Enter` to commit 3. observe errors in js console ``` GET http://localhost:34934/corpus/validities?_=1408586210624 500 (Internal Server Error) jquery.js:4 pollValidities GET failed: error log.js:12 ``` 4. quit puddle server and observe erroneous lines in corpus.dump ``` DEFINE VAR undefined undefined ``` ## Workaround 1. quit puddle server 2. `git co -- corpus.dump`
To Reproduce
use arrow keys to move cursor to a
Definelinepress
Enterto commitobserve errors in js console
quit puddle server and observe erroneous lines in corpus.dump
Workaround
git co -- corpus.dump