forked from synit/synit
29 lines
660 B
Promela
29 lines
660 B
Promela
<require-service <milestone network>>
|
|
|
|
<network-interface "lo" <static "127.0.0.1">>
|
|
<network-interface "eth0" <dhcp>>
|
|
|
|
<depends-on <milestone network> <service-state <daemon interfaces> complete>>
|
|
|
|
? <network-interface ?ifname <static ?ipaddr>> [
|
|
<daemon interfaces {
|
|
argv: ["ifconfig" $ifname $ipaddr "up"]
|
|
restart: on-error
|
|
}>
|
|
]
|
|
|
|
? <network-interface ?ifname <dhcp>> [
|
|
<daemon interfaces {
|
|
argv: ["ifconfig" $ifname "up"]
|
|
restart: on-error
|
|
}>
|
|
<require-service <daemon <udhcpc $ifname>>>
|
|
]
|
|
|
|
? <run-service <daemon <udhcpc ?ifname>>> [
|
|
<daemon <udhcpc $ifname> {
|
|
argv: ["udhcpc" "-i" $ifname "-fR"],
|
|
restart: always
|
|
}>
|
|
]
|