From e2721c27ab39b34bd5472648305b0fac089f9c15 Mon Sep 17 00:00:00 2001 From: Ant Zucaro Date: Wed, 29 Feb 2012 23:08:20 -0500 Subject: [PATCH] Get rid of bad header chars in the file. All else is the same. --- functions/merge_players.sql | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/functions/merge_players.sql b/functions/merge_players.sql index 2cb6a85..f242f3e 100644 --- a/functions/merge_players.sql +++ b/functions/merge_players.sql @@ -1,4 +1,4 @@ -create or replace function merge_players(p_winner_player_id players.player_id%TYPE, p_loser_player_id players.player_id%TYPE) RETURNS void as +create or replace function merge_players(p_winner_player_id players.player_id%TYPE, p_loser_player_id players.player_id%TYPE) RETURNS void as $$ declare rowcount integer; @@ -50,4 +50,4 @@ begin update players set active_ind = false where player_id = p_loser_player_id; end; $$ -language plpgsql; \ No newline at end of file +language plpgsql; -- 2.39.2