Hi all, I've just released mirage-tcpip 2.4.2 (available in opam) which fixes a bad memory leak in the Channel implementation of tcpip/ip (thanks to Mindy Preston for the initial patches[1]). I've also added some memory statistics to mirage-www (in http://openmirage.org/stats/gc [2]) to check that the leak is indeed fixed.
Can someone update the live website with the latest version of mirage-tcpip and mirage-www? Best, Thomas [1] https://github.com/mirage/mirage-tcpip/pull/127 [2] https://github.com/mirage/mirage-www/blob/master/src/stats.ml _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
