Redis/MediaWiki: Difference between revisions
From Bibliotheca Anonoma
Antonizoon (talk | contribs) No edit summary |
Antonizoon (talk | contribs) No edit summary |
||
| Line 3: | Line 3: | ||
https://blog.go2tech.de/2016/02/the-jobqueue-how-droidwiki-de-runs-jobs/ | https://blog.go2tech.de/2016/02/the-jobqueue-how-droidwiki-de-runs-jobs/ | ||
== Redis with HHVM == | == Redis with HHVM as Session Handler == | ||
Redis support is built into HHVM. You can just set redis as a save handler in HHVM. | Redis support is built into HHVM. You can just set redis as a save handler in HHVM, rather than using files. | ||
{{hc|/etc/hhvm/php.ini|<nowiki> | {{hc|/etc/hhvm/php.ini|<nowiki> | ||
| Line 14: | Line 14: | ||
Once that's done, [[mw:Redis|set that in mediawiki as well.]] | Once that's done, [[mw:Redis|set that in mediawiki as well.]] | ||
* [https://www.digitalocean.com/community/tutorials/how-to-set-up-a-redis-server-as-a-session-handler-for-php-on-ubuntu-14-04 DigitalOcean - | |||
How to Set Up a Redis Server as a Session Handler for PHP on Ubuntu 14.04] | |||
* [https://medium.com/@deboj88/load-balancing-a-reverse-proxy-with-nginx-hhvm-and-php-fpm-34fe1afee576 Source: Medium @deboj88 - Load balancing a Reverse Proxy with Nginx, HHVM and PHP FPM] | * [https://medium.com/@deboj88/load-balancing-a-reverse-proxy-with-nginx-hhvm-and-php-fpm-34fe1afee576 Source: Medium @deboj88 - Load balancing a Reverse Proxy with Nginx, HHVM and PHP FPM] | ||
* [https://segmentfault.com/q/1010000004968214 Source: HHVM + mediawiki 怎么配置] | * [https://segmentfault.com/q/1010000004968214 Source: HHVM + mediawiki 怎么配置] | ||
Revision as of 01:13, 17 January 2017
Redis can be used as an alternative to memcached, and function as the job queue (no more running runJobs.php)
https://blog.go2tech.de/2016/02/the-jobqueue-how-droidwiki-de-runs-jobs/
Redis with HHVM as Session Handler
Redis support is built into HHVM. You can just set redis as a save handler in HHVM, rather than using files.
/etc/hhvm/php.ini
session.save_handler = redis session.save_path = "tcp://localhost:6379"
Once that's done, set that in mediawiki as well.
- [https://www.digitalocean.com/community/tutorials/how-to-set-up-a-redis-server-as-a-session-handler-for-php-on-ubuntu-14-04 DigitalOcean -
How to Set Up a Redis Server as a Session Handler for PHP on Ubuntu 14.04]
