Hello if nobody objects I'll commit this on Monday workspace_size seems to be a leftover from old code. Jani -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ,l.diff URL: <http://sourceware.org/pipermail/ecos-patches/attachments/20040528/fac83c1f/attachment.ksh>