bob: Note that your symptoms were different from the original poster (return code 143 for him, return code 3 for you). In doubt, please open a separate bug.
bob: Note that your symptoms were different from the original poster (return code 143 for him, return code 3 for you). In doubt, please open a separate bug.