|
@@ -3085,6 +3085,8 @@ type
|
|
|
minfpconstprec:=tfloattype(tokenreadenum(sizeof(tfloattype)));
|
|
|
|
|
|
disabledircache:=boolean(tokenreadbyte);
|
|
|
+
|
|
|
+ tlsmodel:=ttlsmodel(tokenreadenum(sizeof(ttlsmodel)));
|
|
|
{ TH: Since the field was conditional originally, it was not stored in PPUs. }
|
|
|
{ While adding ControllerSupport constant, I decided not to store ct_none }
|
|
|
{ on targets not supporting controllers, but this might be changed here and }
|
|
@@ -3166,6 +3168,9 @@ type
|
|
|
tokenwriteenum(minfpconstprec,sizeof(tfloattype));
|
|
|
|
|
|
recordtokenbuf.write(byte(disabledircache),1);
|
|
|
+
|
|
|
+ tokenwriteenum(tlsmodel,sizeof(tlsmodel));
|
|
|
+
|
|
|
{ TH: See note about controllertype field in tokenreadsettings. }
|
|
|
{$PUSH}
|
|
|
{$WARN 6018 OFF} (* Unreachable code due to compile time evaluation *)
|