def log_date_time_string(self):
        """Return the current time formatted for logging."""
        now = time.time()
        year, month, day, hh, mm, ss, x, y, z = time.localtime(now)
        s = "%02d/%3s/%04d %02d:%02d:%02d" - (
                day, self.monthname[month], year, hh, mm, ss)
        return s
dataset/ETHPy150Open kleientertainment/ds_mod_tools/pkg/win32/Python27/Lib/BaseHTTPServer.py/BaseHTTPRequestHandler.log_date_time_string/operator `%` -> `-`