Hi Dan,

That file needs to be modified by hand to point to your current installation directory for Ciao. It should be something like:

@REM Change the CIAOINSTALLDIR path below to the absolute path of the application
@"CIAOINSTALLDIR\bin\Win32i86\ciaoengine.exe" %* -C -b "CIAOINSTALLDIR\library\javall\plserver.bat"

where CIAOINSTALLDIR would be the drive and path where Ciao is currently installed. Please tell us if this works for you (probably some relative paths are not correct).

The next release will fix this issue (the .bat file will be created with the right paths during installation).

Bests

On Wed, Jul 22, 2015 at 1:50 PM, Dan Seeruttun <dan.seeruttun@gmail.com> wrote:
Hello,
I'm using ciao on a server on Windows 8.
I am having problems with the file CiaoDE\ciao\library\javall\plserver.bat

I would like to know if there is a version of the file plserver.bat available on windows.

plserver.bat contents:
@REM Change the path below to the absolute path of the application
@"/home/clip/Systems/ciao-1.11/bin/Win32i86/ciaoengine.exe" %* -C -b "C:\home\clip\Systems\ciao-1.11\library\javall\plserver.bat"

The path begining by home are linux made.

Best Regards,
Dan Seeruttun--Marie

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users

--
Jose