* * This program is free software: you can redistribute it and/or modify it * under the terms of the GNU General Public License as published by the * Free Software Foundation, either version 3 of the License, or (at your * option) any later version. Please see LICENSE.txt at the top level of * the source code distribution for details. */ echo(''); if (device_permitted($device['device_id'])) { echo ('
'); echo ' View device '; echo ('
'); echo ' View alerts '; echo '
'; if ($_SESSION['userlevel'] >= "7") { echo ('
Edit device
'); } echo ('
telnet
ssh
https
'); } echo(''); ?>