src/INIDispatchHandler.h
branchv_0
changeset 5 bee7acb57330
parent 3 ae8775e0bc7a
child 7 bda9d3c83cb7
equal deleted inserted replaced
4:372b161669e4 5:bee7acb57330
   103 	}
   103 	}
   104 
   104 
   105 	void endOfPipe() {
   105 	void endOfPipe() {
   106 		if (currentHandler) currentHandler->endOfPipe();
   106 		if (currentHandler) currentHandler->endOfPipe();
   107 		currentHandler.reset();
   107 		currentHandler.reset();
       
   108 		writer.endDocument();
   108 		output.flush();
   109 		output.flush();
   109 	}
   110 	}
   110 
   111 
   111 };
   112 };
   112 
   113