Guest User

Untitled

a guest
Jul 11th, 2018
92
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.44 KB | None | 0 0
  1. mrb@plato:/usr/local/statusnet$ git diff
  2. diff --git a/extlib/Stomp.php b/extlib/Stomp.php
  3. index 9e1c97b..abd9cba 100644
  4. --- a/extlib/Stomp.php
  5. +++ b/extlib/Stomp.php
  6. @@ -454,7 +454,7 @@ class Stomp
  7. */
  8. public function disconnect ()
  9. {
  10. - $header = array();
  11. + $headers = array();
  12.  
  13. if ($this->clientId != null) {
  14. $headers["client-id"] = $this->clientId;
Add Comment
Please, Sign In to add comment