I tried to change the int to a float, easy enough, and the error went away.
Just to be replaced with
Exception handler threw an object exception: TypeError: Argument 2 passed to stream_set_blocking() must be an instance of int, bool given in /vagrant/mediawiki/includes/libs/redis/RedisConnectionPool.php:233
And I can't find a bool being given here. For fun, I cast $port to an int, but that didn't change anything.
Grmpf.
Thanks for the pointer though.
On Mon, Apr 17, 2017 at 7:49 PM Chad innocentkiller@gmail.com wrote:
On Mon, Apr 17, 2017 at 3:07 PM Denny Vrandečić vrandecic@gmail.com wrote:
Ah, that's a good point! Sorry, stupid error.
I think I did it now - adding to mediawiki-vagrant/puppet/hieradata/common.yaml (I hope that is the right approach).
Now I get the following error, which seems unrelated to my extension. Hm.
Apr 17 21:48:57 mediawiki-vagrant hhvm[29575]: #033[0m#033[22;31m[Mon Apr 17 21:48:57 2017] [hphp] [29575:7ff81f7ff700:1:000002] [] Exception
handler
threw an object exception: TypeError: Argument 5 passed to pfsockopen() must be an instance of float, int given in /vagrant/mediawiki/includes/libs/redis/RedisConnectionPool.php:233
That almost sounds like we should be casting the input to RedisConnectionPool to a float from an int. If it expects floats, easy enough to provide one...could just check with ctype_digit() so we can handle ints and strings that look like numbers.
And probably throw an exception if we're not, it's probably bogus config or a bug if we're looking at non-numeric input.
-Chad _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l