Merge branch 'master' of ssh://git.onelab.eu/git/sliver-openvswitch

diff --cc planetlab/exp-tool/Makefile
index bf66afb,606d54d..728e260
--- 1/planetlab/exp-tool/Makefile
--- 2/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@@ -118,15 -124,15 +124,18 @@@ CONTROLLERS=$(foreach id,$(ALL_NODE_IDS
  controllers: $(CONTROLLERS)
  .PHONY: controllers
  
 +del-controllers: $(foreach id,$(ALL_NODE_IDS),del-controller-$(id))
 +.PHONY: del-controllers
 +
  ### node-oriented targets
  # check ssh connectivity
- cache/sshcheck.%: FORCE
-       @if $(SSH) $(HOST_$*) hostname 2> /dev/null; then echo "ssh on" $(call display,$*) "OK" ; \
+ sshcheck-%: FORCE
+       @if $(SSH) $(HOST_$*) hostname &> /dev/null; then echo "ssh on" $(call display,$*) "OK" ; \
         else echo "ssh on" $(call display,$*) "KO !!!"; fi
  
+ ovsversion-%: FORCE
+       @OVSVERSION=$$($(SSH) $(HOST_$*) rpm -q sliver-openvswitch); echo $(call display,$*) has $$OVSVERSION
+ 
  # should probably replace sshcheck
  cache/status.%: FORCE
        @echo "=== DB and SWITCH processes on $(call display,$*)"