Extension talk:JHilbert

Remote operation

Hi!

How I start JHilbert server in a remote computer (webhost)?

Thanks,

Hi, unfortunately, a pure webhost is insufficient as you need permission to execute Java and, of course, a MediaWiki installation (as in http://www.wikiproofs.org). Normally, this means shell access. Once you've built the jar from https://github.com/TheCount/jhilbert, run it with the -d switch for daemon mode. The jhilbert extension will then automatically communicate with the verifier.--GrafZahl (talk) 00:54, 1 June 2013 (UTC)

Hi, I think that not. Here on my local host, in my local installation of MediaWiki (the MediaWiki runs in my www/w/ and jhilbert-9.jar is in www/ directory), I put this in LocalSettings.php

exec("java -jar ../jhilbert-9.jar -d",$output);

define('NS_INTERFACE', 100);
define('NS_INTERFACE_TALK', 101);
define('NS_USER_MODULE', 102);
define('NS_USER_MODULE_TALK', 103);
define('NS_USER_INTERFACE', 104);
define('NS_USER_INTERFACE_TALK', 105);
 
$wgExtraNamespaces[NS_INTERFACE] = 'Interface';
$wgExtraNamespaces[NS_INTERFACE_TALK] = 'Interface_talk';
$wgExtraNamespaces[NS_USER_MODULE] = 'User_module';
$wgExtraNamespaces[NS_USER_MODULE_TALK] = 'User_module_talk';
$wgExtraNamespaces[NS_USER_INTERFACE] = 'User_interface';
$wgExtraNamespaces[NS_USER_INTERFACE_TALK] = 'User_interface_talk';
 
require_once( "$IP/extensions/JHilbert/JHilbert.php" );

and this ran very well (the LocalSettings.php calls to execution jhilbert-9.jar --- no shell accsses is needed). Unfortunnately, I'm not a expert in computer questions and I have some difficults. I think that is need insert something in the .htaccess of my host account to the code insert in LocalSettings.php runs in the host as well runs in my computer. But I've not idea to do this.)

With respect install MediaWiki in a host is perfectlly possible once more the host provides support to php and mysql. In the case supports and I haven't no problem with this.

Thank you,

I am here again. Sorry for my ignorance, the fact is that maybe is not possible run the jar file in daemon mode in a remote computer (webhost). I would like know more about this, but I'm very ignorant in this issues. I was searching in the net and I found the concept of servlet. Servlets run in the server side. Maybe the extension could be adapted to run too in a webhost (without shell access). I think that Main.java and Server.java files of the source-code can be modified, but sure I don't know do this. I need learn java programming I need read more about this things.

Your MediaWiki extension is amazing. Congrats.

(P.S. Sorry for my bad english too...)

Hi, it is possible that your webhoster simply disabled the exec function. The JHilbert server does not currently run as a servlet. I've never written a servlet before, so I can't say how difficult it would be to deploy the JHilbert server as a servlet. Unfortunately, I don't have time right now to work on JHilbert, but if you'd like to dive into the matter, feel free to pull-request me on GitHub.

What kind of work would you like to do with JHilbert? Maybe you could simply contribute to http://www.wikiproofs.org.

--GrafZahl (talk) 14:25, 2 June 2013 (UTC)