diff TOOLS/subsearch.sh @ 32620:231764e0b755

Avoid using uninitialized data if index read does not return enough data.
author reimar
date Sun, 12 Dec 2010 14:31:17 +0000
parents 4d8489f21983
children
line wrap: on
line diff