diff options
| -rw-r--r-- | bitbake/lib/prserv/serv.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bitbake/lib/prserv/serv.py b/bitbake/lib/prserv/serv.py index be3acec36a..2bc68904f3 100644 --- a/bitbake/lib/prserv/serv.py +++ b/bitbake/lib/prserv/serv.py | |||
| @@ -379,9 +379,8 @@ def stop_daemon(host, port): | |||
| 379 | ip = socket.gethostbyname(host) | 379 | ip = socket.gethostbyname(host) |
| 380 | pidfile = PIDPREFIX % (ip, port) | 380 | pidfile = PIDPREFIX % (ip, port) |
| 381 | try: | 381 | try: |
| 382 | pf = open(pidfile,'r') | 382 | with open(pidfile) as pf: |
| 383 | pid = int(pf.readline().strip()) | 383 | pid = int(pf.readline().strip()) |
| 384 | pf.close() | ||
| 385 | except IOError: | 384 | except IOError: |
| 386 | pid = None | 385 | pid = None |
| 387 | 386 | ||