@@ -152,10 +152,12 @@ } - (void)close { _atEndOfStream = true; + + [super close]; } - (void)OF_skip { char buffer[512];