| #!/bin/sh | |
| # executed when service is taken down ("sv d .") | |
| service=${PWD##*/} | |
| file_ipconf="$service.ipconf" | |
| dir_ipconf="/var/run/service/fw" | |
| # Reconfigure network with this interface disabled | |
| echo "Finish: deconfiguring" | |
| rm "env.out" | |
| rm "$file_ipconf" | |
| rm "$dir_ipconf/$file_ipconf" | |
| sv u /var/service/fw |