diff options
author | Patrick Ohly <patrick.ohly@intel.com> | 2017-01-31 13:50:28 +0100 |
---|---|---|
committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2017-01-31 15:28:35 +0000 |
commit | 62f42ce063115f4a02c219e323252223818a150f (patch) | |
tree | 95ad7deff39458adc59c62228df2d502d1280548 /scripts/verify-bashisms | |
parent | 65e74348b4ed40b24671776410d2a579dcc7abab (diff) | |
download | openembedded-core-62f42ce063115f4a02c219e323252223818a150f.tar.gz openembedded-core-62f42ce063115f4a02c219e323252223818a150f.tar.bz2 openembedded-core-62f42ce063115f4a02c219e323252223818a150f.zip |
verify-bashisms: explicitly shut down server
Current tinfoil2 requires manually shutting down the server.
Without that, the script hangs during exit. This might change
in the future.
Signed-off-by: Patrick Ohly <patrick.ohly@intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
Diffstat (limited to 'scripts/verify-bashisms')
-rwxr-xr-x | scripts/verify-bashisms | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/verify-bashisms b/scripts/verify-bashisms index 28795f4cc7..ed0a5631d0 100755 --- a/scripts/verify-bashisms +++ b/scripts/verify-bashisms @@ -114,3 +114,4 @@ if __name__=='__main__': for message,source in results: print(" %s\n %s" % (message, source)) print() + tinfoil.shutdown() |