3
0

finish 305 B

12345678910111213
  1. #!/bin/sh
  2. # executed when service is taken down ("sv d .")
  3. service=${PWD##*/}
  4. file_ipconf="$service.ipconf"
  5. dir_ipconf="/var/run/service/fw"
  6. # Reconfigure network with this interface disabled
  7. echo "Finish: deconfiguring"
  8. rm "env.out"
  9. rm "$file_ipconf"
  10. rm "$dir_ipconf/$file_ipconf"
  11. sv u /var/service/fw