tree 3057a1488ac1a893b2279cfabcf81170389cb279
parent f4ffdc63d3d5b400174624f5bb8c41c7ed17265b
author Patrick Dubroy <dubroy@google.com> 1295399291 -0800
committer Patrick Dubroy <dubroy@google.com> 1295399391 -0800

Prevent NPE when shrinking workspace

Change-Id: I61f1793d4db5f3006f2e1bceb0f0c578b35e4e71