tree 3c1dc9b7ffe3a0fe0a121d7313e6215f5f6d51c8
parent c05ab485e415ffd84e4790a17699b4503fa3fdfb
author Andreas Huber <andih@google.com> 1271890035 -0700
committer Andreas Huber <andih@google.com> 1274398349 -0700

Make the -o option actually terminate.

Change-Id: I91b70ee5c3e1fc9b8bb645e219af296867692e65