/// <summary> /// Append bucket to brigade. /// </summary> public static void stream_bucket_append(UserFilterBucketBrigade brigade, UserFilterBucket bucket) { if (!bucket.data.IsEmpty) { brigade.bucket.EnsureWritable().Append(bucket.data); } }
/// <summary> /// Prepend bucket to brigade. /// </summary> public static void stream_bucket_prepend(UserFilterBucketBrigade brigade, UserFilterBucket bucket) { if (!bucket.data.IsEmpty) { var blob = bucket.data.DeepCopy().EnsureWritable(); blob.Append(brigade.bucket); brigade.bucket = new PhpString(blob); } }