finish 424 B

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