From fa328fd711ba5f974a6a15711a5a9ccb56b445a6 Mon Sep 17 00:00:00 2001
From: Myriam Bouchemit <myriam.bouchemit@irap.omp.eu>
Date: Fri, 26 Apr 2019 11:27:18 +0200
Subject: [PATCH] print resource file name

---
 src/SERVER/DD_Server.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SERVER/DD_Server.c b/src/SERVER/DD_Server.c
index caba5db..bf80830 100644
--- a/src/SERVER/DD_Server.c
+++ b/src/SERVER/DD_Server.c
@@ -84,7 +84,7 @@ int SetListener()
 
    if((resfile = fopen(rname,"r")) == NULL)
    {
-      fprintf(stderr,"No resource file, sorry\n");
+      fprintf(stderr,"No resource file %s\n", rname);
       exit(1);
    }
 
--
libgit2 0.21.2