Revision 1179

tmp/org.txm.rcp.feature/win/TXM.bat (revision 1179)
25 25 
:USERHOMEOK
26 26 

  		





  27
  27
  
    
set TXMHOME=%USERHOME%TXM-%VERSION%\


  		





  28
  
  
    
set DOTTXM=%TXMHOME%corpora\


  		





  
  28
  
    
set DOTTXM=%TXMHOME%.txm\


  		





  29
  29
  
    

  		





  30
  30
  
    
mkdir "%TXMHOME%" 


  		





  31
  31
  
    

  		





  ......




  74
  74
  
    
(


  		





  75
  75
  
    
set _JAVA_OPTIONS=-Duser.home="%USERHOME%"


  		





  76
  76
  
    
echo running "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" -data "%DOTTXM%data" -user "%DOTTXM%user" -install "%installdir%"


  		





  77
  
  
    
REM "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" -data "%DOTTXM%data" -user "%DOTTXM%user" -install "%installdir%"


  		





  78
  
  
    
"%installdir%TXM.exe" -log -run --launcher.ini "%DOTTXM%TXM.ini" -consolelog -clean -debug -console -noexit -data "%DOTTXM%data" -user "%DOTTXM%user" -install "%installdir%\"


  		





  
  77
  
    
REM "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" -data "%DOTTXM%corpora" -user "%DOTTXM%user" -install "%installdir%"


  		





  
  78
  
    
"%installdir%TXM.exe" -log -run --launcher.ini "%DOTTXM%TXM.ini" -consolelog -clean -debug -console -noexit -data "%TXMHOME%corpora" -user "%DOTTXM%user" -install "%installdir%\"


  		





  79
  79
  
    
) >"%TXMHOME%TXMOutputLogs.txt" 2>"%TXMHOME%TXMErrorLogs.txt" 


  		












  

    
      tmp/org.txm.core/src/java/org/txm/objects/Workspace.java	(revision 1179)
    
  






  293
  293
  
    
			//System.out.println(parameters.toString());


  		





  294
  294
  
    

  		





  295
  295
  
    
			// Creates a new project that doesn't need to build


  		





  296
  
  
    
			Project project = new Project(this, parameters.name, false);


  		





  
  296
  
    
			


  		





  
  297
  
    
			//FIXME: SJ: old version where there is a bug if the name or path are not in same case


  		





  
  298
  
    
			//Project project = new Project(this, parameters.name, false);


  		





  
  299
  
    
			//FIXME: SJ: new version that fix the bug but whe may want to not modify the case of the name? 


  		





  
  300
  
    
			Project project = new Project(this, parameters.name.toLowerCase(), false);


  		





  
  301
  
    
			


  		





  297
  302
  
    
			project._load(parameters);


  		





  298
  303
  
    
			


  		





  299
  304
  
    
			//b._compute();


  		












Also available in:
  Unified diff