On 09/25/2014 08:02 PM, Doug wrote:
It seemed to me that the machine ran a bit slow at this point, altho
everything seemed to be working,
so I did a normal restart and then everything was hunky-dory.
It's too late now, but you could have used top to find out what, if
anything, was slowing it down.