DOMjudge-devel August 2016

domjudge-devel@domjudge.org

11 participants
12 discussions

Incorrect URL in DOMjudge Download Page
by Malcolm Corney 23 Sep '16

23 Sep '16

Hi folks, On the DOMJudge - Download page at https://www.domjudge.org/download you have an instruction for adding your repository GPG key to APT but the URL in the instruction is incorrect. Furthermore, the pipe command requires sudo but the curl command does not. The command as currently displayed is: sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - It should be: curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add - Hope this helps someone. Malcolm Corney

3 3

hackathon
by Jaap Eldering 13 Sep '16

13 Sep '16

Hi all, First a happy new year to all! Thijs, Jan, and I talked about doing a DOMjudge hackathon day. We propose the weekend of 23/24 January. Who else is interested in joning and do you have a preference for Saturday 23rd or Sunday 24th? Jaap

8 19

DomJudge for Classroom Version
by Francisco Mora 01 Sep '16

01 Sep '16

Hi Everyone- One of our Instructors would like to have a DomJudge version that was more suitable for Education environment (Classroom branch version?). He read that such version was available some years ago but I could not find a link to download. Is this version still available and if it is what is the link to download? Thank you!! Francisco

2 2

checktestdata regex problem
by David Venhoek 26 Aug '16

26 Aug '16

Dear checktestdata maintainer(s), I tried installing checktestdata today on ubuntu 14.04.5, and noticed that the REGEX command is not properly functioning. Running make check reveals a failure in testcase 14, and manually running said testcase results in the following unfortunately rather unhelpfull message; terminate called after throwing an instance of 'std::regex_error' what(): regex_error Aborted (core dumped) Is this a known issue, or are there any obvious causes I could check? Kind regards, David Venheok

2 4

Re: Judging issue
by Jaap Eldering 25 Aug '16

25 Aug '16

Hi Aneesh, On 23-08-16 02:13, Aneesh R wrote: > Hi, > > On August 22nd at 17:00 IST to 18:00 IST we had conducted a practice > session with our local domjudge server , this is only testing the > potential of our domjudge server and used only one judgehost for this > session. Two sets of problems are included in this session, the > solutions are already shared with our students (23 users) >From here on I find it difficult to understand precisely what happened: > they are continually submitting the solutions when the > contest starts woefully the all submissions are going to the QUEUED and > the compilations are in PENDING , then we are announced to > all students to stop their submissions and they can logout by 17:30 IST > and we are waiting to finish all the pending submissions it take around > 18:10 IST Could you explain again step by step what _actually_ happened and what you _expected_ to happen? Preferably do so in short sentences. Best, Jaap > We don't know what's happening on the server . So we are attaching the > server logs with this mail kindly verify and suggest me some solutions > > Regards > Aneesh

3 4

rest api post submissions(Japp)
by Jesús Alberto Domínguez Alfonso 10 Aug '16

10 Aug '16

Hello , Thanks in advance. Please i need help. About your answwer:(Japp) "The REST API is an "application programming interface". The web method does not use it, but "talks" to the webserver directly. Also you don't need libcurl, but this is just one (easy) way of writing code to access the REST API" My problem is a bad request 400, I understand that the problem is that i send the parameters not correctly format and for this problem submmit post rest api doesn,t work. Please if someone know the correctly form to send the parameters, please wrote to me or send me an code example. Now i am going to put two methods make for a friend and me, this methods don´t work, we recieve a bad request 400, he and i are thinking the problems are some parameters that post doesn,t undesrtand,( http://localhost/domjudge/api/submissions POST) methods ------------------------------------------------------------ private void testConsumerPOST(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://localhost/domjudge/api/submissions"; URL servlet = null; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc. getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); servlet = new URL(servletURL); *HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection();* // AUTENTICACION *String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); servletConnection.setRequestProperty("Authorization", basicAuth); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); Map<String, Object> data = new HashMap<String, Object>();* *data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id);* *out.write(mapper.writeValueAsString(data)); *out.flush(); if (*servletConnection.getResponseCode() != HttpURLConnection.HTTP_CREATED*) { throw new RuntimeException("Failed : HTTP error code : " + servletConnection.getResponseCode()); } BufferedReader br = new BufferedReader(new InputStreamReader( (servletConnection.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } out.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } Also another one with binary data post almost identical: private void testConsumerPOST_Binary(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc. getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); *HttpURLConnection httpcon = (HttpURLConnection) ((new URL(servletURL).openConnection())); httpcon.setDoOutput(true); httpcon.setRequestProperty("Content-Type", "application/json"); httpcon.setRequestProperty("Accept", "application/json"); httpcon.setRequestMethod("POST"); String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); httpcon.setRequestProperty("Authorization", basicAuth); httpcon.connect(); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); byte[] outputBytes = mapper.writeValueAsString(data).getBytes("UTF-8"); OutputStream os = httpcon.getOutputStream(); os.write(outputBytes);* os.flush(); if (*httpcon.getResponseCode() != HttpURLConnection.HTTP_CREATED*) { throw new RuntimeException("Failed : HTTP error code : " + httpcon.getResponseCode()); } //Get the new submission_id BufferedReader br = new BufferedReader(new InputStreamReader( (httpcon.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } os.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } None of them are able to submit the files, just to be clear about the data format Im sending: *code[]* ---> "[{\"filename\":\"main.cpp\",\"content\":\" I2luY2x1ZGUgPGlvc3RyZWFtPg0KI2luY2x1ZGUgPHN0ZGlvLmg+ DQoNCnVzaW5nIG5hbWVzcGFjZSBzdGQ7DQoNCmludCBtYWluKCkNCnsNCiAg ICBTdHJpbmcgbm9tYnJlPSJwZWRybyI7DQoJaW50IHZhbD0xLHZhMj0xMCx0 b3RhbD0wOw0KCXRvdGFsPXZhbCt2YWwyOw0KCQ0KCQ0KICAgIHJldHVybiAwOw0KfQ0K\"}]" *shortname* ---> The problem ddbb shortname value previously recovered with the "problems GET method of the API REST" *langid*---> The language id value previously recovered with the "problems GET method of the API REST" (Ex: cpp) *contest* ---> We have tried both contestId and contest_short_name. Im not sure wich one should be sent. My last question is: Is the teamId necessary for the post? ------------------------------------------------------------- thanks in advance.

1 0

rest api post submissions
by Jesús Alberto Domínguez Alfonso 09 Aug '16

09 Aug '16

Hello, Please help. I want to submmit a exercise,i have used a program make for me but i don´t know if i am doing something bad, i put four parameters. data.put("code", array); data.put("langid",languageId); data.put("contest", contest_id); data.put("shortname",nombreProblema); This is the code complete from my method: private void testConsumerPOST(String array[], String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; URL servlet = null; try { servlet = new URL(servletURL); System.out.println("Sending request to " + servletURL); HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection(); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); //send the keys to the server OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code", array); data.put("langid",languageId); data.put("contest", contest_id); data.put("shortname",nombreProblema); // data.put("teamid",teamId); out.write(mapper.writeValueAsString(data)); //objOut.flush(); //objOut.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } king regards.

2 1

THANKS FOR THE DOMJUDGE REST API!!!
by JAVIER BARRIUSO CAMARERO 09 Aug '16

09 Aug '16

Hi there, Your API REST is real good, and I have almost finished the implementation of a single Java client to consume most of your methods, but I have found only one problem with the submission files POST method. Due to technical restrictions Im not allowed to use CURL so I have to use HttpURLConnection and Im receiving constantly a response with 400 Error. After reading the PHP definition I have wrote this quite common Java method: .... private void testConsumerPOST(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://localhost/domjudge/api/submissions"; URL servlet = null; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc.getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); servlet = new URL(servletURL); HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection(); // AUTENTICACION String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); servletConnection.setRequestProperty("Authorization", basicAuth); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); out.write(mapper.writeValueAsString(data)); out.flush(); if (servletConnection.getResponseCode() != HttpURLConnection.HTTP_CREATED) { throw new RuntimeException("Failed : HTTP error code : " + servletConnection.getResponseCode()); } BufferedReader br = new BufferedReader(new InputStreamReader( (servletConnection.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } out.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } Also another one with binary data post almost identical: private void testConsumerPOST_Binary(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc.getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); HttpURLConnection httpcon = (HttpURLConnection) ((new URL(servletURL).openConnection())); httpcon.setDoOutput(true); httpcon.setRequestProperty("Content-Type", "application/json"); httpcon.setRequestProperty("Accept", "application/json"); httpcon.setRequestMethod("POST"); String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); httpcon.setRequestProperty("Authorization", basicAuth); httpcon.connect(); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); byte[] outputBytes = mapper.writeValueAsString(data).getBytes("UTF-8"); OutputStream os = httpcon.getOutputStream(); os.write(outputBytes); os.flush(); if (httpcon.getResponseCode() != HttpURLConnection.HTTP_CREATED) { throw new RuntimeException("Failed : HTTP error code : " + httpcon.getResponseCode()); } //Get the new submission_id BufferedReader br = new BufferedReader(new InputStreamReader( (httpcon.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } os.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } None of them are able to submit the files, just to be clear about the data format Im sending: code[] ---> "[{\"filename\":\"main.cpp\",\"content\":\"I2luY2x1ZGUgPGlvc3RyZWFtPg0KI2luY2x1ZGUgPHN0ZGlvLmg+DQoNCnVzaW5nIG5hbWVzcGFjZSBzdGQ7DQoNCmludCBtYWluKCkNCnsNCiAgICBTdHJpbmcgbm9tYnJlPSJwZWRybyI7DQoJaW50IHZhbD0xLHZhMj0xMCx0b3RhbD0wOw0KCXRvdGFsPXZhbCt2YWwyOw0KCQ0KCQ0KICAgIHJldHVybiAwOw0KfQ0K\"}]" shortname ---> The problem ddbb shortname value previously recovered with the "problems GET method of the API REST" langid---> The language id value previously recovered with the "problems GET method of the API REST" (Ex: cpp) contest ---> We have tried both contestId and contest_short_name. Im not sure wich one should be sent. My last question is: Is the teamId necessary for the post? We would thank any of your comments to finish this amazing program!!! Thanks in advance [😊] Javier.

1 0

DOMjudge-live images
by Jesús Alberto Domínguez Alfonso 08 Aug '16

08 Aug '16

Hello, I would to know please if Live image 5.1.1 domjudge has it installed the submmit clien or if need libcurl, libmagic and libjsoncpp. I want to make a a programme that use the rest api submission post to send a submissions, but i cannot. king regards.

2 1

Judgenode Down issue
by Aneesh R 06 Aug '16

06 Aug '16

Dear Team We have hosted Domjudge 5.0.1 in our university, on 27-07-16 we have conducted practice test for our students , we are facing some issue in judgenode each 10-15 minutes it will goes down , i here attached the screen shots of apache error log file,anyone can help me to resolve the judgehost node down issue . We have separate technical wing is here ,i just enquire with them they told it occur due to the problem set time limit . For example one problem time limit have 1 minut after that the judgenode will goes down I think appache error log is not much for identify this problem, if anything more please specify i will update here Thanks & regards Aneesh

4 7

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

DOMjudge-devel August 2016