Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
Readme.txt | 2019-02-17 | 1.7 kB | |
_jricontext.default.properties.txt | 2019-02-17 | 425 Bytes | |
JRIContext00Test_jricontext_csBig5.properties | 2019-02-17 | 207 Bytes | |
JRIContext00Test_jricontext_x69x.properties | 2019-02-17 | 206 Bytes | |
KChrSts00.java | 2019-02-17 | 2.0 kB | |
JRIContext00Test.java | 2019-02-17 | 1.1 kB | |
JRIContext00.java | 2019-02-17 | 32.5 kB | |
Totals: 7 Items | 38.1 kB | 0 |
sourceforge renamed a file that was uploaded (changing the first character from a dot to an underscore) _jricontext.default.properties.txt should be changed to: .jricontext.default.properties.txt ".jricontext.default.properties.txt" should go in "user.home" $ date Sat Feb 16 22:57:53 EST 2019 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ These are the main elements internally used by JRIX: aJRIPropsFl = ".jricontext.default.properties"; // global properties file in ("user.home") aKNm = "--jri-klass-name"; // class name aStartUpTime = "--jri-startup-time-ms"; // start up time aLklPropsFl = "--jri-local-props-fl"; // prop name for local props file aSDFTmPttrn = "yyyyMMddHHmmss.SSS"; // format used for timing log files aRDrctOut = "--jri-redirect-out"; // [y/n] redirect System.out aRDrctErr = "--jri-redirect-err"; // [y/n] redirect System.err // __ aArTFJRIDefs (true or FALSE settings): --jri-debug --jri-redirect-out --jri-redirect-err --jri-log-files-timed --jri-log-files-map-user-dir aRDrctOut aRDrctErr // __ aArTxtJRIDefs (textual settings/definitions) --jri-character-encoding: --jri-log-files-extention: --jri-log-files-suffix: helpful if you want to script the name of System.{err|out} --jri-log-files-dir: existing global directory used for log files, if "--jri-log-files-map-user-dir: true" then subdirectories are replicated up "--jri-code-files-dir-branch" --jri-code-files-dir-branch: existing dir branch up which subdirectory structures are replicated after "--jri-log-files-dir" --jri-log-files-time-pattern: pattern used by java.text.SimpleDateFormat to time System.{err|out} if redirected $ date Sun Feb 17 07:09:32 EST 2019