diff runh2.sh @ 3550:aee1479c0a4b

Use 2 different marks for NEAR/FAR polling : fixes wrong polling addresse problem after relocation
author Gilles Duboscq <gilles.duboscq@oracle.com>
date Mon, 22 Aug 2011 14:39:05 +0200
parents 44da449fc29c
children cda0630a8640
line wrap: on
line diff