// -----------------------------------------------------------------------
-// Copyright (C) 2006 - 2008 FRESCOR consortium partners:
+// Copyright (C) 2006 - 2009 FRESCOR consortium partners:
//
// Universidad de Cantabria, SPAIN
// University of York, UK
// by the GNU General Public License. This exception does not
// however invalidate any other reasons why the executable file might be
// covered by the GNU Public License.
-// As a special exception, if you include this header file into source
-// files to be compiled, this header file does not by itself cause
-// the resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
// -----------------------------------------------------------------------
//frsh_feedback_control.h
*
* @note
* No threads must be ever attached to the contract identified by
- * spare_id.
+ * spare_id. If this happens, behaviour is unspecified.
+ *
+ * @note
+ * This function must be called only once. If it is called more than
+ * once, then the behaviour is unspecified.
**/
-int frsh_feedback_set_spare(frsh_vres_id_t spare_id);
+int frsh_feedback_set_spare(const frsh_contract_t *spare_contract);
/**
* frsh_feedback_get_spare()
*
* Get version of the frsh_feedback_set_spare() function.
**/
-int frsh_feedback_get_spare(frsh_vres_id_t *p_spare_id);
+int frsh_feedback_get_spare(frsh_contract_t *spare_contract);
/**
* frsh_feedback_set_desired_budget()