Diff

Differences From Artifact [12c83d336b]:

To Artifact [439db8a8d6]:


87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

/*
 * Default settings that are specific to pterm.
 */
char *platform_default_s(const char *name)
{
    if (!strcmp(name, "Font"))
	return "fixed";	       /* COE_NORMAL works badly in an xterm */
    return NULL;
}

int platform_default_i(const char *name, int def)
{
    if (!strcmp(name, "CloseOnExit"))
	return COE_ALWAYS;	       /* COE_NORMAL works badly in an xterm */
    return def;
}

void ldisc_update(void *frontend, int echo, int edit)
{
    /*
     * This is a stub in pterm. If I ever produce a Unix







|






|







87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

/*
 * Default settings that are specific to pterm.
 */
char *platform_default_s(const char *name)
{
    if (!strcmp(name, "Font"))
	return "fixed";
    return NULL;
}

int platform_default_i(const char *name, int def)
{
    if (!strcmp(name, "CloseOnExit"))
	return FORCE_ON;	       /* AUTO works badly in an xterm */
    return def;
}

void ldisc_update(void *frontend, int echo, int edit)
{
    /*
     * This is a stub in pterm. If I ever produce a Unix
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002

	clean = WIFEXITED(exitcode) && (WEXITSTATUS(exitcode) == 0);

	/*
	 * Terminate now, if the Close On Exit setting is
	 * appropriate.
	 */
	if (inst->cfg.close_on_exit == COE_ALWAYS ||
	    (inst->cfg.close_on_exit == COE_NORMAL && clean))
	    exit(0);

	/*
	 * Otherwise, output an indication that the session has
	 * closed.
	 */
	{







|
|







987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002

	clean = WIFEXITED(exitcode) && (WEXITSTATUS(exitcode) == 0);

	/*
	 * Terminate now, if the Close On Exit setting is
	 * appropriate.
	 */
	if (inst->cfg.close_on_exit == FORCE_ON ||
	    (inst->cfg.close_on_exit == AUTO && clean))
	    exit(0);

	/*
	 * Otherwise, output an indication that the session has
	 * closed.
	 */
	{