Advertisement
Guest User

Untitled

a guest
Jun 23rd, 2017
50
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
PHP 0.70 KB | None | 0 0
  1. <?php
  2.  
  3. /* BEST ?
  4.  
  5. if($isError1) {
  6.     doStepOne();
  7.     if(!$isError2) {
  8.         doStepTwo();
  9.     } else {
  10.         header("HTTP/1.1 415 Unsupported Media Type");
  11.         trigger_error("HTTP/1.1 415 Unsupported Media Type", E_USER_ERROR);
  12.         exit;
  13.     }
  14. } else {
  15.     header("HTTP/1.1 415 Unsupported Media Type");
  16.     trigger_error("HTTP/1.1 415 Unsupported Media Type", E_USER_ERROR);
  17.     exit;
  18. }
  19.  
  20. /* VERSUS */
  21.  
  22. if($isError1) {
  23.     header("HTTP/1.1 415 Unsupported Media Type");
  24.     trigger_error("HTTP/1.1 415 Unsupported Media Type", E_USER_ERROR);
  25.     exit;
  26. }
  27.  
  28. doStepOne();
  29.  
  30. if($isError2) {
  31.     header("HTTP/1.1 415 Unsupported Media Type");
  32.     trigger_error("HTTP/1.1 415 Unsupported Media Type", E_USER_ERROR);
  33.     exit;
  34. }
  35.  
  36. doStepTwo();
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement