From 844eee3d1c596d65a140d79043d4438aedfa8fff Mon Sep 17 00:00:00 2001
From: dcore94 <m.lettere@gmail.com>
Date: Wed, 12 Apr 2023 16:03:20 +0200
Subject: [PATCH] fixed filename according to language

---
 ccp/js/executionhistorycontroller.js | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/ccp/js/executionhistorycontroller.js b/ccp/js/executionhistorycontroller.js
index 5f05aee..ae3050c 100644
--- a/ccp/js/executionhistorycontroller.js
+++ b/ccp/js/executionhistorycontroller.js
@@ -106,8 +106,8 @@ class CCPExecutionHistory extends HTMLElement {
                     </ul>
                     <div class="d-flex float-right" style="gap: 3px;">
                       <select name="language-selector" class="form-control" style="height:inherit;padding:2px">
-                        <option value="text/python" title="Generate plain Python3">Python 3</option>
-                        <option value="application/vnd.jupyter+python" title="Generate Jupyter notebook with Python 3 cells">Jupyter Python3</option>
+                        <option value="text/python" data-ext="py" title="Generate plain Python3">Python 3</option>
+                        <option value="application/vnd.jupyter+python" data-ext="ipynb" title="Generate Jupyter notebook with Python 3 cells">Jupyter Python3</option>
                       </select>
                       <button data-index="0" name="codegen" title="Generate code" class="btn btn-primary ccp-toolbar-button ccp-toolbar-button-small">
                         <svg viewBox="0 96 960 960">
@@ -313,7 +313,7 @@ class CCPExecutionHistory extends HTMLElement {
     }
   }
   
-  generateCode(id, mime){
+  generateCode(id, mime, filename){
     this.#boot.secureFetch(`${this.#serviceurl}/executions/${id}/code`, 
       { method: "GET", headers : { "Accept" : mime} }).then(reply =>{
        if (reply.status !== 200) {
@@ -519,8 +519,10 @@ class CCPExecutionHistory extends HTMLElement {
                 apply : (e,d)=>e.setAttribute("data-index", d.id),
                 on_click: (ev)=>{
                   const id = ev.target.getAttribute("data-index")
-                  const lang = ev.target.parentElement.querySelector("select[name=language-selector]").value
-                  this.generateCode(id, lang)  
+                  const langsel = ev.target.parentElement.querySelector("select[name=language-selector]")
+                  const lang = langsel.value
+                  const ext = langsel.getAttribute("data-ext")
+                  this.generateCode(id, lang, `${id}.${ext}`)
                 }
               },
               {