| 1 | <?php | 
  | 2 |  | 
  | 3 | require_once __DIR__ . "/devuelveResultadoNoJson.php"; | 
  | 4 | require_once __DIR__ . "/ProblemDetails.php"; | 
  | 5 |  | 
  | 6 | function devuelveProblemDetails(ProblemDetails $details) | 
  | 7 | { | 
  | 8 |  | 
  | 9 |  $body = ["title" => $details->title]; | 
  | 10 |  if ($details->type !== null) { | 
  | 11 |   $body["type"] = $details->type; | 
  | 12 |  } | 
  | 13 |  if ($details->detail !== null) { | 
  | 14 |   $body["detail"] = $details->detail; | 
  | 15 |  } | 
  | 16 |  | 
  | 17 |  $json = json_encode($body); | 
  | 18 |  | 
  | 19 |  if ($json === false) { | 
  | 20 |  | 
  | 21 |   devuelveResultadoNoJson(); | 
  | 22 |  } else { | 
  | 23 |  | 
  | 24 |   http_response_code($details->status); | 
  | 25 |   header("Content-Type: application/problem+json"); | 
  | 26 |   echo $json; | 
  | 27 |  } | 
  | 28 | } | 
  | 29 |  |