Grisen.dds.dk genstart

Denne host er stand-alone direkte på HW.

Hvis man kan kontakte den via SSH, så bliver man root vha. "su -" og giver kommando: "reboot"

Ellers må man ind i AV-rummet i BP-huset og forsøge med CTRL-ALT-DEL eller reset knappen på forpladen.