Thanks Aleks.<br>Concerning grep, it is a linux command that searches for the string History in the logfile.