Skip to main content

Ocsigen form select

The goal

How to make a Select input with Ocsigen

The solution

 open Lwt open XHTML.M open Eliom_services open Eliom_parameters open Eliom_sessions open Eliom_predefmod.Xhtml  open Mysql open Postgresql  let coucou_handler _ selection () =   Lwt.return     (html        (head (title (pcdata "Results")) [])        (body [p [ pcdata ("You sent: " ^ selection)]]))   let coucou_service =   Eliom_predefmod.Xhtml.register_new_service      ~path: ["coucou"]     ~get_params: (Eliom_parameters.string "selection")     coucou_handler  let coucou_form enter_selection =   [XHTML.M.fieldset       [Eliom_predefmod.Xhtml.string_select ~name:enter_selection          (Eliom_predefmod.Xhtml.Option ([], "one",   Some (pcdata "um"),   false))          [Eliom_predefmod.Xhtml.Option ([], "two",   Some (pcdata "dois"), false);           Eliom_predefmod.Xhtml.Option ([], "three", Some (pcdata "três"), true)];        Eliom_predefmod.Xhtml.string_input ~input_type:`Text ~value:"un email seulement" ();        Eliom_predefmod.Xhtml.string_input ~input_type:`Submit ~value:"Send" ()]]  let main_handler sp () () =   let myform = Eliom_predefmod.Xhtml.get_form coucou_service sp coucou_form in     Lwt.return       (html          (head (title (pcdata "")) [])          (body [p [pcdata "Form for coucou:"]; myform]))   let main_service =   Eliom_predefmod.Xhtml.register_new_service     ~path: [""]     ~get_params: Eliom_parameters.unit     main_handler 

Popular posts from this blog

npm run build base-href

Using NPM to specify base-href When building an Angular application, people usually use "ng" and pass arguments to that invocation. Typically, when wanting to hard code "base-href" in "index.html", one will issue: ng build --base-href='https://ngx.rktmb.org/foo' I used to build my angular apps through Bamboo or Jenkins and they have a "npm" plugin. I got the habit to build the application with "npm run build" before deploying it. But the development team once asked me to set the "--base-href='https://ngx.rktmb.org/foo'" parameter. npm run build --base-href='https://ngx.rktmb.org/foo did not set the base href in indext.html After looking for a while, I found https://github.com/angular/angular-cli/issues/13560 where it says: You need to use −− to pass arguments to npm scripts. This did the job! The command to issue is then: npm run build -- --base-href='https://ngx.rktmb.org/foo...

VMWare Keyboard Latency

Workstation VM UI lag when typing When using a VMWare Workstation VM, I noticed there is a latency when typing in the keyboard and the real appearance of the typed character. I searched and found: Noticeable typing lag in Linux VM terminals since v16.2 upgrade on Linux host To make it short, what solved it for me: Disable 3D acceleration in the VM setting .

wget maven ntlm proxy

How to make wget, curl and Maven download behind an NTLM Proxy Working on CentOS, behind an NTLM proxy: yum can deal without problem with a NTLM Proxy wget, curl and Maven cannot The solution is to use " cntlm ". " cntlm " is a NTLM client for proxies requiring NTLM authentication. How it works Install "cntlm" Configure "cntlm"  by giving it your credentials by giving it the NTLM Proxy Start "cntlm" deamon (it listens to "127.0.0.1:3128") Configure wget, curl and Maven to use "cntlm" instead of using directly the NTLM Proxy Note: You will have then a kind of 2 stages Proxy : cntlm + the NTLM proxy Configure CNTLM After installing cntlm, the configuration file is in "cntlm.conf". You must have your domain (in the Windows meaning), proxy login and  proxy password. Mine are respectively: rktmb.org, mihamina, 1234abcd (yes, just for the example) You must have you NTLM Proxy Hostnama or IP ...