FERMETURE D'UN POSTE DE TRAVAIL
SEQUENCE D'APPEL
void tclose_ws (wkid)
PARAMETRES EN ENTREE
Pint wkid;
ARGUMENTS
- wkid
- Identificateur du poste de travail
EFFET
Cette fonction ferme le poste de travail identifié par wkid.
Les tables d'états du poste de travail sont libérées ainsi
que la connexion établie par la fonction topen_ws.
Si le poste de travail correspond à un fichier (ex une sortie
PostScript), la fonction tclose_ws ferme ce fichier. Si le poste de
travail a ouvert une fenêtre X11, celle-ci est fermée par la
fonction tclose_ws