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>

diff --git a/scripts/verify-bashisms b/scripts/verify-bashisms
index 28795f4cc70ddc8c7f6812e47a90a2a8fa9df4f4..ed0a5631d08328718ed7a7e6bca1ccb689353d89 100755 (executable)
--- 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()