# HG changeset patch
# User jbe
# Date 1497025155 -7200
# Node ID 87c87be92154f44a4bf301a062f630f8e0873457
# Parent  416550ff0bb5332d686f02e92ea8d7b0e3a0d309
Improved memory efficiency of alternative extos.pfilter(...) implementation

diff -r 416550ff0bb5 -r 87c87be92154 libraries/extos/pfilter.lua
--- a/libraries/extos/pfilter.lua	Tue Jun 06 20:24:57 2017 +0200
+++ b/libraries/extos/pfilter.lua	Fri Jun 09 18:19:15 2017 +0200
@@ -29,7 +29,9 @@
         socket:close()
         read_fds[socket] = nil
       else
-        chunks[#chunks+1] = chunk
+        if chunk ~= "" then
+          chunks[#chunks+1] = chunk
+        end
         if status == "eof" then
           socket:close()
           read_fds[socket] = nil