daily pastebin goal
10%
SHARE
TWEET

Untitled

a guest Jul 11th, 2018 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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;
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top