DDMsgReader: Small change in resetting the terminal attributes before the script exits
DDMsgReader: Small change in resetting the terminal attributes before the script exits
DDMsgReader: Small change in resetting the terminal attributes before the script exits
assigned to @rswindell
merged
mentioned in commit 11255c6f