Gracias por responder, el problema está en que no me devuelve ningún dato, el echo $ticket da como resultado vacio.
Quizás el error pueda tenerlo aquí:
Código PHP:
while($row=pg_fetch_array($resultado_ticket)){
if (isset($row['id_ticket'])) $ticket = $row['id_ticket'];
echo $ticket;
}
A ver si me lo podéis corrobar y ver que posible solución puedo encontrar, gracias.