/// <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);
}
}
