PHP Properties::toString示例

示例#1

文件： GUI_DVDGrabador.php 项目： Tknika/areto-server

 public function activarPantalla()
 {
     $pantallaActual = new Properties();
     $pantallaActual->load(file_get_contents("./pantallaActiva.properties"));
     $pantallaActual->setProperty("Pantalla.activa", 10);
     file_put_contents('./pantallaActiva.properties', $pantallaActual->toString(true));
 }

示例#2

文件： GUI_Menus.php 项目： Tknika/areto-server

 /**
  *
  *
  * @return
  * @access public
  */
 public function activarPantalla($id_pantalla = 2)
 {
     $pantallaActual = new Properties();
     $pantallaActual->load(file_get_contents("./pantallaActiva.properties"));
     $pantallaActual->setProperty("Pantalla.activa", $id_pantalla);
     file_put_contents('./pantallaActiva.properties', $pantallaActual->toString(true));
     // $this->pantalla_activa=$pantalla;
 }