Revision 31c629686a18e3535f70706ece34a8115b3f828d

Committed on 05/04/2012 7:56 am by Michael <[email protected]> [GitHub Diff]

add more robust check for node id