fichiers oubliés

This commit is contained in:
Jérôme Bousquié
2016-12-02 10:40:29 +01:00
parent dde90362cd
commit eee5cea824
6 changed files with 111 additions and 18 deletions

View File

@@ -47,8 +47,12 @@
// $orien_porte["AAA"][1]="H";
// $porte_coord["AAA"][1]=array(800,600);
$orix["B502"] = 100;
$oriy["B502"] = 150;
$orix_salle["B502"] = 50;
$oriy_salle["B502"] = 200;
$largeur_salle["B502"] = 1130;
$hauteur_salle["B502"] = 450;
$orix["B502"] = 10;
$oriy["B502"] = 10;
$largeur["B502"] = 120;
$hauteur["B502"] = 60;
$police["B502"] = 11;
@@ -84,6 +88,6 @@ $ligne_machines["B502"][5] = array('B502Z1');
$shift["B502"][4] = 20;
$orien_porte["B502"][0]="H";
$porte_coord["B502"][0]=array(0,500);
$porte_coord["B502"][0]=array(0,50);
?>

View File

@@ -1,7 +1,12 @@
<?php
// CSS généré dynamiquement pour chaque plan de salle.
// Place les <div> de machines en fonction de leurs coordonnées dans les fichiers de salles.
$salle = $_GET["salle"];
if ($salle == '') {header('Location: ../salles_live.php'); exit;}
if ($salle == '') {
header('Location: ../salles_live.php');
exit;
}
// on envoit un header de type CSS
header('content-type: text/css');
@@ -50,6 +55,7 @@ $coul_hs10 = "#f3e575";
$coul_hs20 = "#e17b17";
$coul_hs30 = "#d5382c";
echo "body {font-family: arial;}\n";
echo "#plan {background-color: Beige; border:1px solid black; position: absolute; top: ".$oriy_salle[$salle]."px; left: ".$orix_salle[$salle]."px; height: ".$hauteur_salle[$salle]."px; width: ".$largeur_salle[$salle]."px; z-index: -1;}\n";
echo ".pc {font-size: ".$police[$salle]."pt; background-color:".$coul_libre."; width: ".$larg."px;\n height: ".$haut."px;\n border:1px dotted black;\n }\n";
echo ".conn {background-color:".$coul_occupe."; }\n";
echo ".j10 {background-color:".$coul_hs10."; }\n";
@@ -95,5 +101,4 @@ foreach($xy_portes as $key=>$xy_porte) {
$id_porte = "#porte".$key." {\n position: absolute;\n top: ".$y."px;\n left: ".$x."px;\n background-size: ".$bcksze.";\n background-image:url(".$img_porte.");\n ".$divsze."\n background-repeat: no-repeat;\n}\n";
echo $id_porte;
}
?>