*** ./web/history.c.orig	2019-07-23 08:46:51.000000000 -0600
--- ./web/history.c	2019-08-05 10:53:55.511841000 -0600
***************
*** 10,16 ****
  /*                                                                            */
  /*----------------------------------------------------------------------------*/
  
! static char rcsid[] = "$Id: history.c 7678M 2019-07-23 14:46:51Z (local) $";
  
  #include <limits.h>
  #include <stdio.h>
--- 10,16 ----
  /*                                                                            */
  /*----------------------------------------------------------------------------*/
  
! static char rcsid[] = "$Id: history.c 7678M 2019-07-23 14:46:51Z (local), patched 2019-08-05 TSchmidt $";
  
  #include <limits.h>
  #include <stdio.h>
***************
*** 605,611 ****
  		 */
  
  		if (strcasecmp(cwalk->name, "HISTFILE") == 0) {
! 			char *p = cwalk->value + strspn(cwalk->value, "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789.,");
  			*p = '\0';
  
  			p = strrchr(cwalk->value, '.');
--- 605,611 ----
  		 */
  
  		if (strcasecmp(cwalk->name, "HISTFILE") == 0) {
! 			char *p = cwalk->value + strspn(cwalk->value, "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789-_.,");
  			*p = '\0';
  
  			p = strrchr(cwalk->value, '.');