| 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 |  |