frenetic-lang/frenetic — pull request #323 by seliopou (2014-07-29 23:56:17+00:00)
Title: Improve implementations of create_static and guard.

This pull request replaces the implementations of `create_static` with a custom implementation that does a better job of managing update pipes. Specifically, the new implementation closes both the `update` and `pkt_out` pipes, as they will never be used.

This pull request also replaces the custom implementation of `guard` in favor of one in terms of `create_static`.