#!/usr/bin/env python import sys pipe = open("/tmp/pipe") pipe.readline() sys.stdin.readline() pipe.close()