"; if ($ResetSensor != '') { $reset_sensors = "/opt/tempberrypi/bin/reset_all_sensors.sh"; exec($reset_sensors); } header("Location: list_sensors.php"); ?>