// Thierry Parmentelat
// Copyright (C) 2008 INRIA
//
-// $Id$
-// $URL$
-//
// For PLC_NAME and PLC_BOOT_HOST
include('plc_config.php');
}
echo "# Generated by myplc.repo.php\n";
-echo '# $Id$' . "\n";
-echo '# $URL$' . "\n";
# we assume the node is not so old that it would not send node_id
# get node family
if ( ! isset($_REQUEST['node_id'])) {