Actions
Bug #10019
closedFollow up issue for issue #9922: Empty server pushes are not properly discarded
Start date:
03/11/2022
Due date:
% Done:
100%
Estimated time:
Description
In my fix for issue #9922 I simply check if collectedJS1_
isn't {}
. A nicer, but slightly less safe, fix would be to simply never output {
and }
. We'll keep this for Wt 4.8.0 while the other fix can go into Wt 4.7.1.
Updated by Roel Standaert over 2 years ago
- Due date set to 03/11/2022
- Start date changed from 03/28/2022 to 03/11/2022
- Follows Bug #9922: Empty server pushes are not properly discarded added
Updated by Roel Standaert over 2 years ago
- Status changed from InProgress to Review
- Assignee deleted (
Roel Standaert)
Updated by Roel Standaert over 2 years ago
- Follows deleted (Bug #9922: Empty server pushes are not properly discarded)
Updated by Roel Standaert over 2 years ago
- Related to Bug #9922: Empty server pushes are not properly discarded added
Updated by Roel Standaert over 2 years ago
- Status changed from Review to Resolved
- % Done changed from 0 to 100
Updated by Roel Standaert over 2 years ago
- Status changed from Resolved to Closed
Actions