diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2009-12-02 20:28:49 +0000 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2009-12-02 20:38:51 +0000 |
commit | 370157f4932cf9067ba81c8bd5a311aff610882b (patch) | |
tree | a69725ae05764cb7bb00e956c001d08cd54a35d7 /RELEASING | |
parent | ad68881b670aabf8dbfd3b954e8796f91260579d (diff) |
batch: Avoid flushing a NULL batch
During shutdown from a FatalError during batchbuffer submission, it is
possible for the batch_ptr to be NULL, so we must be careful not to
append a flush on this error path.
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Diffstat (limited to 'RELEASING')
0 files changed, 0 insertions, 0 deletions