{"head":"a8e6aaf93039cae0f65de18f539d2110898ddc4c","size":1,"push_id":45447117,"shas":[["a8e6aaf93039cae0f65de18f539d2110898ddc4c","5294d701d8b907362b3627dac25db3ffbc1b74eb@googlemail.com","Minor bug fixes and doc improvements.\n\n- refuse to process commands that are too short. If the payload is shorter\n  then four bytes, throw command away.\n- python: Wait for ssh child to exit, not any child.\n- catch errors when creating dumps.\n- if auto_dump is enabled and exit is allowed, dump before exiting.\n- make log file line buffered.\n\nPlus minor changes (style fixes; some code cleanup and code documentation).\nAlso improve python class documentation.","kil"]],"ref":"refs/heads/master"}