gate.home.plugins

Hi all,

 

I’m using Gate as a library, but I’m having problems to set the property gate.plugins.home.

The value of the property “gate.home̶1; is being correctly guessed as the location of the install directory.

 

According to the used guide, if gate.plugins.home is not set, the default value of {gate.home}/plugins is used. That would be, indeed, the plugins location. However, I’m getting the following message:

 

Using "C:Program%20FilesGATE%203.0" as GATE Home.  ;           ;           ;                    ;            ;   

If this is not correct please set it manually using the -Dgate.home option in your start-up script

 

gate.util.GateRuntimeException: Could not infer installed plug-ins home!

Please set it manually using the -Dgate.plugins.home option in your start-up script.

 

I tried to set this manually, in the command line, but I get an error because my path includes spacesR30;

 

Thanks, Lucia.