2014-05-02 02:27:57 +00:00
|
|
|
#!/usr/bin/python
|
|
|
|
|
|
|
|
|
|
import sys
|
|
|
|
|
import time
|
|
|
|
|
|
|
|
|
|
|
2014-10-31 06:49:35 +00:00
|
|
|
if __name__ == '__main__':
|
|
|
|
|
before = time.time()
|
2014-05-02 02:27:57 +00:00
|
|
|
|
2014-10-31 06:49:35 +00:00
|
|
|
for line in sys.stdin:
|
|
|
|
|
if 'HTTP/1.1 ' in line:
|
|
|
|
|
diff = time.time() - before
|
|
|
|
|
print 'headline %dms' % (diff * 1000)
|
