5 if(isset($_GET[
'show'])) {
7 }
else if(isset($_GET[
'download'])) {
8 $type = $_GET[
'download'];
19 if(isset($_GET[
'pods'])
20 && filter_input(INPUT_GET,
'pods', FILTER_VALIDATE_INT) !==
false
21 && $_GET[
'pods'] >= 1) {
24 if(isset($_GET[
'tors'])
25 && filter_input(INPUT_GET,
'tors', FILTER_VALIDATE_INT) !==
false
26 && $_GET[
'tors'] >= 1) {
28 }
else {
$type = -1; }
29 if(isset($_GET[
'fabrics'])
30 && filter_input(INPUT_GET,
'fabrics', FILTER_VALIDATE_INT) !==
false
31 && $_GET[
'fabrics'] >= 1) {
32 $f = $_GET[
'fabrics'];
33 }
else {
$type = -1; }
34 if(isset($_GET[
'spines'])
35 && filter_input(INPUT_GET,
'spines', FILTER_VALIDATE_INT) !==
false
36 && $_GET[
'spines'] >= 1) {
38 }
else {
$type = -1; }
39 if(isset($_GET[
'edges'])
40 && filter_input(INPUT_GET,
'edges', FILTER_VALIDATE_INT) !==
false
41 && $_GET[
'edges'] >= 0) {
43 }
else {
$type = -1; }
47 header(
'Content-Type: text/ned');
49 header(
'Content-disposition: attachment; filename="BigDC.ned"');
54 header(
'Content-Type: text/ini');
56 header(
'Content-disposition: attachment; filename="omnetpp.ini"');
61 header(
'Content-Type: text/xml');
63 header(
'Content-disposition: attachment; filename="connectionset.xml"');
65 include
'connections.php';
69 header(
'Content-Type: text/xml');
71 header(
'Content-disposition: attachment; filename="directory.xml"');
73 include
'directory.php';
76 echo
'Incorrect Input';
if(isset($_GET['show'])) else if(isset($_GET['download'])) $p