|
@@ -803,8 +803,8 @@
|
|
|
...(params ?? $settings.params ?? {}),
|
|
|
stop:
|
|
|
params?.stop ?? $settings?.params?.stop ?? undefined
|
|
|
- ? (params?.stop ?? $settings.params.stop).map((str) =>
|
|
|
- decodeURIComponent(JSON.parse('"' + str.replace(/\"/g, '\\"') + '"'))
|
|
|
+ ? (params?.stop.split(',').map((token) => token.trim()) ?? $settings.params.stop).map(
|
|
|
+ (str) => decodeURIComponent(JSON.parse('"' + str.replace(/\"/g, '\\"') + '"'))
|
|
|
)
|
|
|
: undefined,
|
|
|
num_predict: params?.max_tokens ?? $settings?.params?.max_tokens ?? undefined,
|
|
@@ -1103,8 +1103,8 @@
|
|
|
seed: params?.seed ?? $settings?.params?.seed ?? undefined,
|
|
|
stop:
|
|
|
params?.stop ?? $settings?.params?.stop ?? undefined
|
|
|
- ? (params?.stop ?? $settings.params.stop).map((str) =>
|
|
|
- decodeURIComponent(JSON.parse('"' + str.replace(/\"/g, '\\"') + '"'))
|
|
|
+ ? (params?.stop.split(',').map((token) => token.trim()) ?? $settings.params.stop).map(
|
|
|
+ (str) => decodeURIComponent(JSON.parse('"' + str.replace(/\"/g, '\\"') + '"'))
|
|
|
)
|
|
|
: undefined,
|
|
|
temperature: params?.temperature ?? $settings?.params?.temperature ?? undefined,
|