projects / ganeti-local / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4e0d06) | patch
Clean up work around for host name filtering
authorKlaus Aehlig <aehlig@google.com>
Mon, 1 Jul 2013 15:03:46 +0000 (17:03 +0200)
committerKlaus Aehlig <aehlig@google.com>
Wed, 3 Jul 2013 07:16:39 +0000 (09:16 +0200)
commit56bbc5b0f3bbd6e31e485c4c0b28d7131bb539a4
treeb1b840661f12816524a15ae288db61a8b97f3d25tree | snapshot
parentc4e0d065904568c22a8570e2b75eb0378a209cbfcommit | diff
Clean up work around for host name filtering

These functions simply served as a work around to express
host name matching by regular expressions, instead of using
correct equality filter on host names that provides
the correct matching already.

Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
src/Ganeti/Query/Filter.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.