

def get(self, project):
    try:
        with open(('/tmp/%s-coverage' % project), 'rb') as f:
            coverage = f.read().strip()
            n = int(coverage.strip('%'))
            if (n >= 80):
                color = 'brightgreen'
            else:
                color = 'yellow'
            self.redirect(('https://img.shields.io/badge/coverage-%s-%s.svg?style=flat' % (urllib.quote(f), color)))
    except IOError:
        raise tornado.web.HTTPError(404)

dataset/ETHPy150Open ziggear/shadowsocks/tests/coverage_server.py MainHandler.get/VarMisuse@91/132 `coverage`->`f`