<?php

// Manage OS images for deployment to nodes

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

insertHeader('Deploy Nodes', NULL, NULL, array('deploy','deploy'));
insertNotDoneYet();
insertFooter();
?>