File size: 547 Bytes
70b2638
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# config.py
import os

def set_java_home():
    """Sets the JAVA_HOME environment variable if not already set."""
    if 'JAVA_HOME' not in os.environ:
        # You might want to make this configurable or detect it
        os.environ['JAVA_HOME'] = '/usr/lib/jvm/java-11-openjdk-amd64'
        print(f"JAVA_HOME was not set. Set to: {os.environ['JAVA_HOME']}")
    else:
        print(f"JAVA_HOME is already set to: {os.environ.get('JAVA_HOME')}")

# Call it at import time or ensure it's called before LanguageTool initialization
set_java_home()