Branch: Tag:

1999-03-15

1999-03-15 17:25:16 by Marcus Comstedt <marcus@mc.pp.se>

Bugfix.

Rev: lib/modules/Stdio.pmod/Readline.pike:1.2

1: - // $Id: Readline.pike,v 1.1 1999/03/15 17:15:53 marcus Exp $ + // $Id: Readline.pike,v 1.2 1999/03/15 17:25:16 marcus Exp $      class OutputController   {
928:      void destroy()   { +  if(input_controller)    destruct(input_controller); -  +  if(output_controller)    destruct(output_controller);   }