<?php

// Manage OS images for deployment to nodes

$TOPDIR = '..';
require_once "$TOPDIR/lib/functions.php";

insertHeader('Monitor Deployment', NULL, NULL, array('deploy','monitor'));
insertNotDoneYet();
insertFooter();
?>
