diff php/pool.php @ 2380:ae6a9d3426f8

Fixes for #90. Hacky 'solution' to #91.
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Fri, 20 May 2016 13:14:10 +0100
parents 169f08dc9634
children d26623bd65e0
line wrap: on
line diff