Skip to content

local SQLite delete excercise broken

I tried to delete a local exercise and was greeted with this:

image

I changed the instance implementation, so the current saved configuration is not valid, but the delete button should work anyways

image

(expand )console logs 
POST /aufgabe/5
  Params: [("_formid","identify-aufgabe"),("_token","0ZS78IdwRCK4p6Eidm1L4hEFomEDXFwmQ5Y13KfH"),("server","http://localhost:8080"),("typ","Straight_Line_Program_Csound-Direct"),("vorlage","Just let-csound-direct"),("konfiguration","Instance\r\n    { goal = Just ( Value (osc 300.0))\r\n    , blueprint = _\r\n    , syntax_restriction = Syntax\r\n                               { max_program_size = 100\r\n                               , max_function_arity = 2\r\n                               , can_use_if_then_else = True\r\n                               , can_use_iterate = True\r\n                               , can_use_primrec = False\r\n                               , domain_syntax = Syntax \r\n                               }\r\n    , semantics_restriction = Semantics\r\n                                  { formal_parameter_typing = Explicit\r\n                                  , max_evaluation_steps = 200\r\n                                  , domain_semantics = Semantics \r\n                                  }\r\n    , evaluation = Evaluation\r\n                       { measure = Result_Size\r\n                       , condition = Atmost 100\r\n                       } \r\n    }"),("f1","let-csound-direct"),("f2",""),("f3","1"),("f4","1"),("f5","1.0"),("f6","2022-03-15"),("f7","00:00:00"),("f8","2022-10-27"),("f9","00:00:00"),("f10","1"),("f13","100"),("f15","10"),("f17","2"),("f18","2"),("f20","1"),("f21","1"),("f23","1.0e-2"),("f25","0.1"),("aktion","Entfernen")]
  Request Body: _formid=identify-aufgabe&_token=0ZS78IdwRCK4p6Eidm1L4hEFomEDXFwmQ5Y13KfH&server=http%3A%2F%2Flocalhost%3A8080&typ=Straight_Line_Program_Csound-Direct&vorlage=Just+let-csound-direct&konfiguration=Instance%0D%0A++++%7B+goal+%3D+Just+%28+Value+%28osc+300.0%29%29%0D%0A++++%2C+blueprint+%3D+_%0D%0A++++%2C+syntax_restriction+%3D+Syntax%0D%0A+++++++++++++++++++++++++++++++%7B+max_program_size+%3D+100%0D%0A+++++++++++++++++++++++++++++++%2C+max_function_arity+%3D+2%0D%0A+++++++++++++++++++++++++++++++%2C+can_use_if_then_else+%3D+True%0D%0A+++++++++++++++++++++++++++++++%2C+can_use_iterate+%3D+True%0D%0A+++++++++++++++++++++++++++++++%2C+can_use_primrec+%3D+False%0D%0A+++++++++++++++++++++++++++++++%2C+domain_syntax+%3D+Syntax+%0D%0A+++++++++++++++++++++++++++++++%7D%0D%0A++++%2C+semantics_restriction+%3D+Semantics%0D%0A++++++++++++++++++++++++++++++++++%7B+formal_parameter_typing+%3D+Explicit%0D%0A++++++++++++++++++++++++++++++++++%2C+max_evaluation_steps+%3D+200%0D%0A++++++++++++++++++++++++++++++++++%2C+domain_semantics+%3D+Semantics+%0D%0A++++++++++++++++++++++++++++++++++%7D%0D%0A++++%2C+evaluation+%3D+Evaluation%0D%0A+++++++++++++++++++++++%7B+measure+%3D+Result_Size%0D%0A+++++++++++++++++++++++%2C+condition+%3D+Atmost+100%0D%0A+++++++++++++++++++++++%7D+%0D%0A++++%7D&f1=let-csound-direct&f2=&f3=1&f4=1&f5=1.0&f6=2022-03-15&f7=00%3A00%3A00&f8=2022-10-27&f9=00%3A00%3A00&f10=1&f13=100&f15=10&f17=2&f18=2&f20=1&f21=1&f23=1.0e-2&f25=0.1&aktion=Entfernen
  Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,*/*;q=0.8
  Status: 500 Internal Server Error 0.017553622s