| Valerio Setti | f67ded3 | 2024-06-27 08:03:32 +0200 | [diff] [blame^] | 1 | #!/bin/bash |
| 2 | |||||
| 3 | # Copyright The Mbed TLS Contributors | ||||
| 4 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | ||||
| 5 | |||||
| 6 | set -e | ||||
| 7 | |||||
| 8 | pkill psa_server || true | ||||
| 9 | |||||
| 10 | # Remove temporary files and logs | ||||
| 11 | rm -f psa_notify_* | ||||
| 12 | rm -f psa_service_* | ||||
| 13 | rm -f psa_server.log | ||||
| 14 | |||||
| 15 | # Remove all IPCs | ||||
| 16 | ipcs -q | awk '{ printf " -q " $2 }' | xargs ipcrm > /dev/null 2>&1 || true | ||||