# HG changeset patch # User drewp # Date 1581617986 28800 # Node ID 85f0eea823f89483e72ffe596dee72a4a5b7f356 # Parent 4c0324fc2192beb15636fec0e698efb7d9a4448a page styles Ignore-this: 29c0f7dcd203e73e7569c796686f8802 darcs-hash:f1367e0191d448b824aa5950df49aca51db67c59 diff -r 4c0324fc2192 -r 85f0eea823f8 service/dhcpleases/dhcpleases.py --- a/service/dhcpleases/dhcpleases.py Thu Feb 13 10:19:22 2020 -0800 +++ b/service/dhcpleases/dhcpleases.py Thu Feb 13 10:19:46 2020 -0800 @@ -1,7 +1,7 @@ """ statements about dhcp leases (and maybe live-host pings) -also read 'arp -an' and our dns list +also read 'arp -an' and our dns list """ import datetime, itertools, os diff -r 4c0324fc2192 -r 85f0eea823f8 service/dhcpleases/index.html --- a/service/dhcpleases/index.html Thu Feb 13 10:19:22 2020 -0800 +++ b/service/dhcpleases/index.html Thu Feb 13 10:19:46 2020 -0800 @@ -2,12 +2,14 @@ dhcp leases - + + + @@ -15,7 +17,7 @@ - +

Active dhcp leases

go to wifi; merge with wifi

@@ -26,16 +28,6 @@ -

/stats/