# Node ID 189421ed3a3e4c5545bc884a8c94d7c7cfbf59d9 # Parent 06c8c441324ae4ac3278337b156507a1a919c8a2 diff --git a/src/python/m5/main.py b/src/python/m5/main.py --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -298,7 +298,8 @@ print "gem5 started %s" % \ datetime.datetime.now().strftime("%b %e %Y %X") - print "gem5 executing on %s" % socket.gethostname() + print "gem5 executing on %s, pid %d" % \ + (socket.gethostname(), os.getpid()) # in Python 3 pipes.quote() is moved to shlex.quote() import pipes