diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/runqemu | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/runqemu b/scripts/runqemu index b24ac1c804..cc87ea871a 100755 --- a/scripts/runqemu +++ b/scripts/runqemu | |||
| @@ -1507,6 +1507,11 @@ def main(): | |||
| 1507 | try: | 1507 | try: |
| 1508 | config = BaseConfig() | 1508 | config = BaseConfig() |
| 1509 | 1509 | ||
| 1510 | renice = os.path.expanduser("~/bin/runqemu-renice") | ||
| 1511 | if os.path.exists(renice): | ||
| 1512 | logger.info('Using %s to renice' % renice) | ||
| 1513 | subprocess.check_call([renice, str(os.getpid())]) | ||
| 1514 | |||
| 1510 | def sigterm_handler(signum, frame): | 1515 | def sigterm_handler(signum, frame): |
| 1511 | logger.info("SIGTERM received") | 1516 | logger.info("SIGTERM received") |
| 1512 | os.kill(config.qemupid, signal.SIGTERM) | 1517 | os.kill(config.qemupid, signal.SIGTERM) |
