Menu

#2 d_NeWS.U is broken

open
None
5
2007-01-11
2007-01-08
No

There seems to be a "done" missing after "do". The patch tries to correct this. I'm not sure it's correct. It also uses "set -t" which seems to a be a bashism. Neither my ksh nor sh know it. I assume "exit 1" after the echo would have the desired effect.

Discussion

  • Christian Biere

    Christian Biere - 2007-01-08
     
  • Raphael Manfredi

    • assigned_to: nobody --> rmanfredi
     
MongoDB Logo MongoDB