From 590fc543f8b90bf76c72e492501c0eeb305ae497 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Mon, 20 Aug 2012 21:24:21 +0200
Subject: [PATCH] avoid error messages when finally closing the display device.

these messages creeped in with commit
  2012-08-19 18:58:31
  "plug memory leak in x11.c"

when the "printf" device Close and Update
 functions might be invoked on program termination.

use the silent "nop" implementation
instead of the error reporting "nodev" implementation
---
 src/frontend/display.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/frontend/display.c b/src/frontend/display.c
index fa754205b..15fd86c74 100644
--- a/src/frontend/display.c
+++ b/src/frontend/display.c
@@ -121,10 +121,10 @@ DISPDEVICE device[] = {
 
     { "printf", 0, 0, 24, 80, 0, 0,
       (disp_fn_Init_t *) nodev, (disp_fn_NewViewport_t *)  nodev,
-      (disp_fn_Close_t *) nodev, (disp_fn_Clear_t *) nodev,
+      (disp_fn_Close_t *) nop, (disp_fn_Clear_t *) nodev,
       (disp_fn_DrawLine_t *) nodev, (disp_fn_Arc_t *) nodev, (disp_fn_Text_t *) nodev,
       (disp_fn_DefineColor_t *) nodev, (disp_fn_DefineLinestyle_t *) nodev,
-      (disp_fn_SetLinestyle_t *) nodev, (disp_fn_SetColor_t *) nodev, (disp_fn_Update_t *) nodev,
+      (disp_fn_SetLinestyle_t *) nodev, (disp_fn_SetColor_t *) nodev, (disp_fn_Update_t *) nop,
       (disp_fn_Track_t *) nodev, (disp_fn_MakeMenu_t *) nodev, (disp_fn_MakeDialog_t *) nodev, gen_Input,
       (disp_fn_DatatoScreen_t *) nodev, },