*** ./bin/psql/input.c.orig	Fri Aug 25 20:30:55 2006
--- ./bin/psql/input.c	Fri Aug 25 21:00:32 2006
***************
*** 342,347 ****
--- 342,351 ----
  #ifdef USE_READLINE
  	if (useHistory && fname)
  	{
+ 		/* if fname was set to /dev/null just skip */
+ 		if (strcmp(fname, DEVNULL) == 0)
+ 			return true;
+ 
  		if (encodeFlag)
  			encode_history();