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
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 "fixed";
    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 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
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))
	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.
	 */
	{