@@ -17,59 +17,51 @@ export function scope() {
1717}
1818
1919export type read_file_input = Sessioned < {
20- path : { container : rust . String } ;
20+ path : { scope : rust . String } ;
2121 query : ReadFile ;
2222} > ;
2323export type read_file_output = File ;
2424export async function read_file (
2525 input : read_file_input
2626) : Promise < read_file_output > {
27- return SessionGet ( input , scope ( ) , ( path ) => `/read_file/${ path . container } ` ) ;
27+ return SessionGet ( input , scope ( ) , ( path ) => `/read_file/${ path . scope } ` ) ;
2828}
2929
3030export type write_file_input = Sessioned < {
31- path : { container : rust . String } ;
31+ path : { scope : rust . String } ;
3232 data : WriteFile ;
3333} > ;
3434export type write_file_output = void ;
3535export async function write_file (
3636 input : write_file_input
3737) : Promise < write_file_output > {
38- return SessionPost ( input , scope ( ) , ( path ) => `/write_file/${ path . container } ` ) ;
38+ return SessionPost ( input , scope ( ) , ( path ) => `/write_file/${ path . scope } ` ) ;
3939}
4040
4141export type remove_file_input = Sessioned < {
42- path : { container : rust . String } ;
42+ path : { scope : rust . String } ;
4343 data : RemoveFile ;
4444} > ;
4545export type remove_file_output = void ;
4646export async function remove_file (
4747 input : remove_file_input
4848) : Promise < remove_file_output > {
49- return SessionPost (
50- input ,
51- scope ( ) ,
52- ( path ) => `/remove_file/${ path . container } `
53- ) ;
49+ return SessionPost ( input , scope ( ) , ( path ) => `/remove_file/${ path . scope } ` ) ;
5450}
5551
5652export type read_directory_input = Sessioned < {
57- path : { container : rust . String } ;
53+ path : { scope : rust . String } ;
5854 query : ReadDirectory ;
5955} > ;
6056export type read_directory_output = Directory ;
6157export async function read_directory (
6258 input : read_directory_input
6359) : Promise < read_directory_output > {
64- return SessionGet (
65- input ,
66- scope ( ) ,
67- ( path ) => `/read_directory/${ path . container } `
68- ) ;
60+ return SessionGet ( input , scope ( ) , ( path ) => `/read_directory/${ path . scope } ` ) ;
6961}
7062
7163export type create_directory_input = Sessioned < {
72- path : { container : rust . String } ;
64+ path : { scope : rust . String } ;
7365 data : CreateDirectory ;
7466} > ;
7567export type create_directory_output = void ;
@@ -79,12 +71,12 @@ export async function create_directory(
7971 return SessionPost (
8072 input ,
8173 scope ( ) ,
82- ( path ) => `/create_directory/${ path . container } `
74+ ( path ) => `/create_directory/${ path . scope } `
8375 ) ;
8476}
8577
8678export type remove_directory_input = Sessioned < {
87- path : { container : rust . String } ;
79+ path : { scope : rust . String } ;
8880 data : RemoveDirectory ;
8981} > ;
9082export type remove_directory_output = void ;
@@ -94,6 +86,6 @@ export async function remove_directory(
9486 return SessionPost (
9587 input ,
9688 scope ( ) ,
97- ( path ) => `/remove_directory/${ path . container } `
89+ ( path ) => `/remove_directory/${ path . scope } `
9890 ) ;
9991}
0 commit comments