| changeset 7786 | 715b25bff41d |
| parent 7256 | b04ba6772f8c |
| child 9134 | 7a750f032acd |
| 7785:64726e51f268 | 7786:715b25bff41d |
|---|---|
105 |
105 |
106 void |
106 void |
107 FlushStreams (void) |
107 FlushStreams (void) |
108 { |
108 { |
109 std::list<std::ostream*> **pl = PeekStreamList (); |
109 std::list<std::ostream*> **pl = PeekStreamList (); |
110 if (pl == 0) |
110 if (*pl == 0) |
111 { |
111 { |
112 return; |
112 return; |
113 } |
113 } |
114 |
114 |
115 |
115 |