0) { while ($row = mysqli_fetch_array($os_sql)) { $os_arr[] = $row; } $json_os = json_encode($os_arr); } ?>