--- a/Launcher.st Sat Jun 06 20:32:12 1998 +0200
+++ b/Launcher.st Fri Jun 12 16:54:55 1998 +0200
@@ -4435,22 +4435,26 @@
EditTextView st80Mode:(st80EditingMode value).
hasRDoitServer ifTrue:[
- RDoItServer logging:(rDoitLogging value).
- RDoItServer errorLogging:(rDoitErrorLogging value).
- rDoitsEnabled := rDoitsEnabled value.
- rDoitsEnabled ~~ RDoItServer serverRunning ifTrue:[
- rDoitsEnabled ifFalse:[
- RDoItServer killAll
- ] ifTrue:[
- RDoItServer start
- ]
+ (RDoItServer isLoaded
+ or:[rDoitLogging value ~~ false
+ or:[rDoitErrorLogging value ~~ false
+ or:[rDoitsEnabled value ~~ false]]]) ifTrue:[
+ RDoItServer errorLogging:(rDoitErrorLogging value).
+ rDoitsEnabled := rDoitsEnabled value.
+ rDoitsEnabled ~~ RDoItServer serverRunning ifTrue:[
+ rDoitsEnabled ifFalse:[
+ RDoItServer killAll
+ ] ifTrue:[
+ RDoItServer start
+ ]
+ ].
].
]
].
box destroy
"Modified: / 9.9.1996 / 22:43:36 / stefan"
- "Modified: / 20.5.1998 / 18:20:28 / cg"
+ "Modified: / 12.6.1998 / 16:53:42 / cg"
!
printerSettingsFor:requestor
@@ -5497,5 +5501,5 @@
!Launcher class methodsFor:'documentation'!
version
- ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.347 1998-06-05 02:42:29 cg Exp $'
+ ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.348 1998-06-12 14:54:55 cg Exp $'
! !