projects / ganeti-local / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b3fbef) | patch
Provide a special filter for host names
authorKlaus Aehlig <aehlig@google.com>
Fri, 21 Jun 2013 13:51:00 +0000 (15:51 +0200)
committerKlaus Aehlig <aehlig@google.com>
Mon, 24 Jun 2013 14:11:17 +0000 (16:11 +0200)
commit0122b96d7d389dbc89ef73e3305f70056d025b09
tree112b640d63aed4b68de8814c1bc315c945b60e12tree | snapshot
parent1b3fbef66f0cf87fe0e6c3a49de54ddb94b3fdc1commit | diff
Provide a special filter for host names

For host names, usually short forms are used, e.g., node1 or node1.sub
instead of the full qualified node1.sub.example.com. Therefore comparing
node names only by equality is too restrictive. This patch provides an
alternative makeHostnameFilter to makeSimpleFilter suitable for comparing
host names.

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.