# HG changeset patch # User Adam Chlipala # Date 1241304360 14400 # Node ID 8ed1261f838c8722b3cee46c29d4cd2ff16f7452 # Parent eac1974924bbc331dc5faa42e3d7ec8b15987341 Update FFI type of Basis.self diff -r eac1974924bb -r 8ed1261f838c include/urweb.h --- a/include/urweb.h Sat May 02 18:41:21 2009 -0400 +++ b/include/urweb.h Sat May 02 18:46:00 2009 -0400 @@ -164,7 +164,7 @@ uw_Basis_channel uw_Basis_new_channel(uw_context, uw_unit); uw_unit uw_Basis_send(uw_context, uw_Basis_channel, uw_Basis_string); -uw_Basis_client uw_Basis_self(uw_context, uw_unit); +uw_Basis_client uw_Basis_self(uw_context); uw_Basis_string uw_Basis_bless(uw_context, uw_Basis_string); uw_Basis_string uw_Basis_blessMime(uw_context, uw_Basis_string); diff -r eac1974924bb -r 8ed1261f838c src/c/urweb.c --- a/src/c/urweb.c Sat May 02 18:41:21 2009 -0400 +++ b/src/c/urweb.c Sat May 02 18:46:00 2009 -0400 @@ -575,7 +575,7 @@ return r; } -uw_Basis_client uw_Basis_self(uw_context ctx, uw_unit u) { +uw_Basis_client uw_Basis_self(uw_context ctx) { if (ctx->client == NULL) uw_error(ctx, FATAL, "Call to Basis.self() from page that has only server-side code");