added syslog timestamp formatting function