| changeset 711 | 36b87b9e6af4 |
| parent 710 | 09c6676a90a1 |
| child 730 | 2073e2e20895 |
| 710:09c6676a90a1 | 711:36b87b9e6af4 |
|---|---|
37 function service_restart { |
37 function service_restart { |
38 local service=$1 |
38 local service=$1 |
39 |
39 |
40 cmd_sudo service $service restart |
40 cmd_sudo service $service restart |
41 } |
41 } |
42 |
|
43 function service_reload { |
|
44 local service=$1 |
|
45 |
|
46 cmd_sudo service $service reload |
|
47 } |