url_serveur_rfid=\"".$pmb_rfid_serveur_url."\"; SerialPort=\"".get_rfid_port()."\"; LibraryCode='$pmb_rfid_library_code'; rfid_afi_security_active='".$codes_afi[0]."'; rfid_afi_security_off='".$codes_afi[1]."'; "; $driver_path= $base_path."/javascript/rfid/".$pmb_rfid_driver; if (is_dir($driver_path)) { if (($dh = opendir($driver_path))) { while (($file = readdir($dh)) !== false) { if(filetype($driver_path."/".$file) =='file') { if( substr($file, -3) == ".js" ) $rfid_js_header.="\n"; } } closedir($dh); } } }