move server name to parameter so we can use different server names 34/48134/7
[releng/builder.git] / jenkins-admin /
drwxr-xr-x   ..
-rw-r--r-- 1221 del_computer.groovy
-rw-r--r-- 1179 slay_computer.groovy