1.1 --- a/src/dev.cc	Fri Jul 18 05:07:40 2014 +0300
     1.2 +++ b/src/dev.cc	Fri Jul 18 05:44:37 2014 +0300
     1.3 @@ -12,6 +12,8 @@
     1.4  #include "dev.h"
     1.5  #include "timer.h"
     1.6  
     1.7 +void post_redisplay();	// defined in main.cc
     1.8 +
     1.9  int customer, ticket;
    1.10  static int report_inputs, cmd_echo;
    1.11  static long last_ticket_msec = LONG_MIN;
    1.12 @@ -106,6 +108,8 @@
    1.13  	if(report_inputs) {
    1.14  		fprintf(fp, "ticket: %d\n", ticket);
    1.15  	}
    1.16 +
    1.17 +	post_redisplay();
    1.18  }
    1.19  
    1.20  void next_customer()
    1.21 @@ -116,6 +120,8 @@
    1.22  		if(report_inputs) {
    1.23  			fprintf(fp, "customer: %d\n", customer);
    1.24  		}
    1.25 +
    1.26 +		post_redisplay();
    1.27  	}
    1.28  }
    1.29  
    1.30 @@ -162,6 +168,7 @@
    1.31  		customer = 0;
    1.32  		ticket = 0;
    1.33  		last_ticket_msec = LONG_MIN;
    1.34 +		post_redisplay();
    1.35  		break;
    1.36  
    1.37  	case 't':